70 search results - page 4 / 14 » Some properties of the regular asynchronous systems |
WORDS
2003
IEEE
13 years 11 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
JSC
2010
13 years 16 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICDCS
2005
IEEE
13 years 11 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
MST
2007
13 years 5 months ago
2007
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...