1917 search results - page 197 / 384 » User Model and Utility Based Power Management |
145
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
240
Voted
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
120
click to vote
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
127
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
154
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Multimedia streaming over ad hoc networks forms a continuous progress domain due to users’ growing needs and wireless devices incessant evolution. Our objective, in this study...