577 search results - page 93 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
CIVR
2009
Springer
14 years 4 months ago
2009
Springer
Many of the successful multimedia retrieval systems focus on developing efficient and effective video retrieval solutions with the help of appropriate index structures. In these ...
IQ
2007
13 years 11 months ago
2007
: This research has attempted to find the impact of information quality (IQ) and system quality (SQ) on users’ attitude to adopt the interactive TV based auction service. The pri...
CSFW
2002
IEEE
14 years 3 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
JNW
2008
13 years 10 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
Visual tracking of bare fingers allows more direct manipulation of digital objects, multiple simultaneous users interacting with their two hands, and permits the interaction on l...