13 search results - page 3 / 3 » Extending the Representational State Transfer (REST) Archite... |
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Dereferencing a URI returns a representation of the current state of the resource identified by that URI. But, on the Web representations of prior states of a resource are also av...
CONCUR
1998
Springer
13 years 9 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...