2004 search results - page 271 / 401 » Comparison of Model Checking Tools for Information Systems |
123
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
158
click to vote
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
158
click to vote
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
Word space models, in the sense of vector space models built on distributional data taken from texts, are used to model semantic relations between words. We argue that the high dim...
765
click to vote
Book
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
118
click to vote
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
A self-organized approach to manage a distributed proxy system called Adaptive Distributed Caching (ADC) has been proposed previously. We model each proxy as an autonomous agent th...