188 search results - page 31 / 38 » Automatic Generation of Model Checking Scripts Based on Envi... |
VMV
2003
13 years 8 months ago
2003
This paper presents a novel image-based approach to generate a video of a scene based on only three wide-baseline uncalibrated images without the use of a 3D model. After automati...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
ISSTA
2000
ACM
13 years 11 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
WISE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...