2004 search results - page 240 / 401 » Comparison of Model Checking Tools for Information Systems |
201
Voted
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
155
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
134
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Load balance is a critical issue in distributed systems, such as server grids. In this paper, we propose a Balanced Load Queue (BLQ) model, which combines the queuing theory and hy...
242
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
138
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...