6978 search results - page 1017 / 1396 » On Proofs in System P |
193
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
204
Voted
DFMA
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
181
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
239
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Many of the world’s most critical systems are distributed real-time embedded (DRE) systems, with missioncritical quality of service (QoS) requirements. However, because of their...
189
click to vote
RTAS
2005
IEEE
16 years 1 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...