3199 search results - page 102 / 640 » Variability in Automation System Models |
117
Voted
ISMAR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
136
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
132
click to vote
LICS
1990
IEEE
15 years 6 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
113
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
131
Voted
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...