124
click to vote
FMCO
15 years 3 months ago
2007 Springer 
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
107
click to vote
FMCO
15 years 6 months ago
2007 Springer 
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
FMCO
15 years 6 months ago
2007 Springer  FMCO
15 years 6 months ago
2007 Springer 
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
FMCO
15 years 3 months ago
2007 Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
|
Formal Methods