1376 search results - page 193 / 276 » Model-Driven Software Verification |
133
Voted
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
127
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
124
click to vote
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
130
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
119
Voted
ICSE
2004
IEEE-ACM
15 years 8 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...