3828 search results - page 523 / 766 » Proof-Based System Engineering Using a Virtual System Model |
150
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
187
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
174
Voted
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
144
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
186
Voted
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We developed an augmented reality (AR) dental training simulator utilizing a haptic (force feedback) device. A number of dental procedures such as crown preparation and opening ac...