4341 search results - page 533 / 869 » Quantitative Model checking |
185
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Social media treats all users the same: trusted friend or total stranger, with little or nothing in between. In reality, relationships fall everywhere along this spectrum, a topic...
156
click to vote
CHI
2006
ACM
16 years 7 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...
193
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
172
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
179
click to vote
COORDINATION
2007
Springer
16 years 26 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...