5599 search results - page 201 / 1120 » Abstract State Services |
139
click to vote
SIGUCCS
2000
ACM
15 years 7 months ago
2000
ACM
This paper discusses the technical and policy issues that West Virginia Network (WVNET) encountered when it expanded its statewide Internet dialup service through an outsourcing p...
140
Voted
ASM
2003
ASM
15 years 9 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
145
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
124
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
159
click to vote
PAAMS
2010
Springer
15 years 2 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...