1888 search results - page 45 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
152
click to vote
CSI
2007
15 years 2 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
120
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
114
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...
114
Voted
FAC
2002
15 years 2 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
124
Voted
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...