783 search results - page 88 / 157 » The TextPro Tool Suite |
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
WMTE
2002
IEEE
14 years 1 months ago
2002
IEEE
The use of computer simulations is changing the nature of scientific investigation and providing us unique insights into the way that the world works. As simulation moves from the...
CDC
2009
IEEE
14 years 26 days ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
CA
2000
IEEE
14 years 17 days ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...
DSN
2000
IEEE
14 years 17 days ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...