1541 search results - page 282 / 309 » Tools and Techniques for Model Checking Networked Programs |
118
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
123
click to vote
SIGSOFT
2009
ACM
15 years 5 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
85
Voted
WSC
1997
15 years 1 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
125
Voted
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—Although femtocell deployments in residential buildings have been increasingly prevalent, femtocell deployment in commercial building environments remains in its infancy...
111
click to vote
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...