10159 search results - page 209 / 2032 » System Design Validation Using Formal Models |
124
Voted
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
128
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
119
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
123
Voted
CONTEXT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper argues that the driving task exhibits the properties of complex systems. Driving behavior emerges from the intricate and complex interactions between the drive...
118
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Research on performance, robustness, and evolution of the global Internet is fundamentally handicapped without accurate and thorough knowledge of the nature and structure of the c...