2060 search results - page 336 / 412 » The Composition of Event-B Models |
189
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
162
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
171
click to vote
TCC
2005
Springer
16 years 7 days ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
159
click to vote
IMC
2004
ACM
16 years 6 days ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
201
click to vote
CBSE
2004
Springer
16 years 5 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...