13397 search results - page 454 / 2680 » From Static Distributed Systems to Dynamic Systems |
184
click to vote
ICDCSW
2005
IEEE
16 years 2 days ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...
168
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
195
click to vote
MOBICOM
2010
ACM
15 years 6 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...
162
click to vote
TPDS
1998
15 years 6 months ago
1998
—Coordinated checkpointing simplifies failure recovery and eliminates domino effects in case of failures by preserving a consistent global checkpoint on stable storage. However, ...
173
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we explore the feasibility and performance optimization problems for real-time systems that must remain functional during an operation/mission with a fixed, initial...