3828 search results - page 98 / 766 » Proof-Based System Engineering Using a Virtual System Model |
152
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
133
Voted
VRST
2003
ACM
15 years 8 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
137
Voted
CA
1999
IEEE
15 years 7 months ago
1999
IEEE
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...
124
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
114
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...