400 search results - page 62 / 80 » Reasoning About Hidden Mechanisms |
93
Voted
ECRTS
1999
IEEE
15 years 2 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
76
Voted
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
79
Voted
CANPC
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Modern networks of workstations connected by Gigabit networks have the ability to run high-performance computing applications at a reasonable performance, but at a signi ...
ICCS
1998
Springer
15 years 1 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
88
Voted
CCS
2007
ACM
15 years 1 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...