2004 search results - page 360 / 401 » Comparison of Model Checking Tools for Information Systems |
108
click to vote
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
102
click to vote
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
118
click to vote
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
The modelling or reconstruction of buildings has two aspects – on the one hand we need a data structure and the associated geometric information, and on the other hand we need a...
148
click to vote
ISW
2010
Springer
14 years 9 months ago
2010
Springer
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
112
click to vote
AEI
2004
14 years 11 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...