9067 search results - page 1558 / 1814 » Adaptive Model Checking |
205
click to vote
PERCOM
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
205
Voted
PPL
2008
15 years 7 months ago
2008
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
233
click to vote
PE
2006
Springer
15 years 7 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...
153
Voted
AIR
2005
15 years 7 months ago
2005
In contrast to the existing airport gate assignment studies where flight have fixed schedules, we consider the more realistic situation where flight arrival and departure times can...
176
click to vote
JCP
2007
15 years 7 months ago
2007
ADE, autonomic distributed environment, is a system which engages autonomic elements to automatically take an existing centralized application and distribute it across available re...