511 search results - page 96 / 103 » Finite System Composition and Interaction |
ENTCS
2007
13 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
IJACTAICIT
2010
13 years 4 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
ISWC
1998
IEEE
13 years 11 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...