3082 search results - page 295 / 617 » Deviation Analysis: A New Use of Model Checking |
196
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
188
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
164
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
168
click to vote
SIGCOMM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract—The sharing of caches among Web proxies is an important technique to reduce Web traffic and alleviate network bottlenecks. Nevertheless it is not widely deployed due to ...
203
click to vote
MTA
2002
15 years 6 months ago
2002
Digital video applications exploit the intrinsic structure of video sequences. In order to obtain and represent this structure for video annotation and indexing tasks, the main ini...