1888 search results - page 39 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
103
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
105
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
135
click to vote
AAI
2006
15 years 2 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
127
Voted
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...
120
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...