1302 search results - page 220 / 261 » From Liveness to Promptness |
111
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
107
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
108
Voted
DPPI
2007
ACM
15 years 4 months ago
2007
ACM
This paper documents a first attempt at "designing for the self", an approach to designing products intended to help people move closer to their idealized sense of self a...
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Online Social Networks (OSN) are experiencing an explosive growth rate and are becoming an increasingly important part of people's lives. There is an increasing desire to aid ...
100
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...