5863 search results - page 1040 / 1173 » On Model-Checking of P Systems |
118
Voted
ICDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applicati...
128
Voted
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
Analysis of the drafi IEEE 802.11 wireless local area network (WLAN) standard is needed to characterize the expected performance of the standard’s ad hoc and infrastructure netw...
124
Voted
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
This work provides a systematic study of the impact of communication performance on parallelapplications in a high performance network of workstations. We develop an experimental ...
129
Voted
PODC
1997
ACM
15 years 8 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
125
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...