4218 search results - page 613 / 844 » Complete sets of cooperations |
142
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
154
Voted
FATES
2005
Springer
15 years 11 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
148
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
150
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
167
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
Let S be a set of horizontal line segments, or bars, in the plane. We say that G is a bar visibility graph, and S its bar visibility representation, if there exists a one-to-one co...