932 search results - page 139 / 187 » Verifying Progress in Timed Systems |
COSIT
2003
Springer
14 years 2 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
HICSS
2000
IEEE
14 years 19 days ago
2000
IEEE
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
NSDI
2010
13 years 10 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
IJSNET
2008
13 years 9 months ago
2008
Abstract: We present PERT, a power-efficient scheme to deliver real-time data packets in sensor networks. Time-sensitive sensor data is common in applications such as hazard monito...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
In this paper we show that the initial philosophy used in designing and developing UNIX in early times has been forgotten due to “fast practices”. We question the leitmotif th...