10159 search results - page 1649 / 2032 » System Design Validation Using Formal Models |
191
click to vote
PADS
1998
ACM
15 years 10 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
166
click to vote
WSC
2004
15 years 8 months ago
2004
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
181
click to vote
SP
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
263
click to vote
PROMISE
2010
15 years 1 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
146
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...