2989 search results - page 336 / 598 » Process Management in a Distributed Operating System |
187
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...
173
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
125
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
158
click to vote
USENIX
2008
15 years 9 months ago
2008
Unexpected surges in Web request traffic can exercise server-side resources (e.g., access bandwidth, processing, storage etc.) in undesirable ways. Administrators today do not hav...
155
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...