10159 search results - page 591 / 2032 » System Design Validation Using Formal Models |
169
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
192
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
156
Voted
WSC
1997
15 years 8 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
188
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
206
click to vote
IC
2001
15 years 8 months ago
2001
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...