2111 search results - page 170 / 423 » How to Program Pervasive Systems |
110
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
101
Voted
APPT
2003
Springer
15 years 6 months ago
2003
Springer
This paper discusses how to building high available storage systems on top of peer-to-peer infrastructure. We first demonstrate that traditional definitions of availability are not...
91
Voted
WSC
1998
15 years 2 months ago
1998
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
121
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
109
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...