5599 search results - page 225 / 1120 » Abstract State Services |
162
click to vote
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
Grid services have tremendously simplified the programming challenges in leveraging large-scale distributed comAt the same time, the increased level of abstraction reduces the op...
147
click to vote
ICDE
2009
IEEE
16 years 11 days ago
2009
IEEE
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
134
click to vote
ICRA
2009
IEEE
16 years 6 days ago
2009
IEEE
Abstract— Finite-range sensing and communication are factors in the connectivity of a dynamic mobile robot network. State estimation becomes a difficult problem when communicati...
164
click to vote
ICCD
2005
IEEE
15 years 11 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
119
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...