5599 search results - page 163 / 1120 » Abstract State Services |
107
click to vote
DPD
2002
15 years 1 months ago
2002
The Internet is revolutionizing business by providing an affordable and efficient way to link companies with their partners as well as customers. Nevertheless, there are problems t...
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
121
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
113
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
114
click to vote
PTS
2008
15 years 3 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...