3828 search results - page 113 / 766 » Proof-Based System Engineering Using a Virtual System Model |
220
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
164
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
132
click to vote
VIIP
2001
15 years 6 months ago
2001
The primary objective of this research work is to develop an efficient and intuitive deformation technique for virtual human modeling by silhouettes input. With our method, the re...
131
click to vote
WSC
1997
15 years 6 months ago
1997
Manufacturing automotive powertrain components (engines and transmissions) is a complex task involving the integration of hundreds of components. Simulation is commonly applied in...
168
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
The Knowledge File System (KFS) is a smart virtual file system that sits between the operating system and the file system. Its primary functionality is to automatically organize fi...