2364 search results - page 219 / 473 » An Engine for Computing Well-Founded Models |
120
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
135
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
144
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
Specific rendering modes are developed for a combined visual/haptic interface to allow exploration and understanding of fluid dynamics data. The focus is on visualization of sho...
129
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
158
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...