Search Results for State, The.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Barthe, Gilles. editor.

http://dx.doi.org/10.1007/b105030

Format:

Elektronik Kaynak

Alıntı:

-- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

Shvartsman, Mariam Momenzadeh Alexander A. editor.

http://dx.doi.org/10.1007/11945529

Format:

Elektronik Kaynak

Alıntı:

-- Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents -- Robust Self-stabilizing Clustering

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

Kohlas, Jürg. editor.

http://dx.doi.org/10.1007/11808107

Format:

Elektronik Kaynak

Alıntı:

architecture.Theories, methods and tools that help to master the problems encountered in the design process and the

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

Anderson, James H. editor.

http://dx.doi.org/10.1007/11795490

Format:

Elektronik Kaynak

Alıntı:

: Possibilities and Limitations -- Session 7: Real-Time Systems -- The Partitioned, Static-Priority Scheduling of

E-Government Ict Professionalism and Competences Service Science

Mazzeo, Antonino. editor.

http://dx.doi.org/10.1007/978-0-387-09712-1

Format:

Elektronik Kaynak

Alıntı:

Central State Administrations -- The Italian Public Administration Electronic Market: Scenario, Operation

Workflows for e-Science Scientific Workflows for Grids

Taylor, Ian J. editor.

http://dx.doi.org/10.1007/978-1-84628-757-2

Format:

Elektronik Kaynak

Alıntı:

paradigm is seen as a means of managing the complexity in defining the analysis, executing the necessary

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008

Azevedo, Américo. editor.

http://dx.doi.org/10.1007/978-0-387-09492-2

Format:

Elektronik Kaynak

Alıntı:

International Federation for Information Processing The IFIP series publishes state-of-the

	{displayName}	{count}
{error}