1888 search results - page 45 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
194
click to vote
CSI
2007
15 years 6 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 ...
164
click to vote
SEKE
2005
Springer
15 years 11 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...
155
click to vote
DSN
2000
IEEE
15 years 10 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...
150
click to vote
FAC
2002
15 years 5 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...
163
click to vote
DEBS
2008
ACM
15 years 7 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...