2004 search results - page 290 / 401 » Comparison of Model Checking Tools for Information Systems |
166
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
136
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
A plausible representation of relational information among entities in dynamic systems such as a living cell or a social community is a stochastic network which is topologically r...
158
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
121
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
164
click to vote
JMM2
2006
15 years 4 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...