5599 search results - page 359 / 1120 » Abstract State Services |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
144
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
152
click to vote
AICT
2006
IEEE
16 years 23 days ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
207
click to vote
SUTC
2006
IEEE
16 years 21 days ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
148
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...