674 search results - page 78 / 135 » Toward Self-Stabilizing Operating Systems |
114
click to vote
ESM
2000
15 years 6 days ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
ICAT
2006
IEEE
15 years 4 months ago
2006
IEEE
In supra-adaptive logistics systems, operative workers must be able to quickly and precisely retrieve objects from large storage areas with minimal training. We explore concepts to...
86
Voted
OSDI
2004
ACM
15 years 11 months ago
2004
ACM
Technical support contributes 17% of the total cost of ownership of today's desktop PCs [25]. An important element of technical support is troubleshooting misconfigured appli...
USENIX
2003
15 years 6 days ago
2003
This paper proposes two mechanisms for reducing the communication-related overheads of Web applications. One mechanism is user-level connection tracking, which allows an applicati...
WSC
1998
15 years 5 days ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...