2123 search results - page 187 / 425 » Composition of Cyber-Physical Systems |
172
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
170
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
175
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...
208
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
In a series of papers Patarin proposes new efficient public key systems. A very interesting proposal, called 2-Round Public Key System with S Boxes, or 2R, is based on the difficul...
185
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...