2004 search results - page 298 / 401 » Comparison of Model Checking Tools for Information Systems |
124
click to vote
SASO
2007
IEEE
15 years 6 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
116
click to vote
AISS
2010
14 years 9 months ago
2010
A successful IT Company is characterized by its ability to put the right information in front of the right decision-makers at the right time while concerns about security issues. ...
103
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this study we propose an integrated approach to the problem of 3D pose estimation. The main difference to the majority of known methods is the usage of complementary image info...
JSW
2007
14 years 11 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
103
Voted
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...