2364 search results - page 149 / 473 » An Engine for Computing Well-Founded Models |
128
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
131
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...
134
click to vote
IWSAS
2001
Springer
15 years 9 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
131
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
153
click to vote
IWSAS
2001
Springer
15 years 9 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...