4516 search results - page 64 / 904 » Automated System Design for Availability |
133
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
101
click to vote
HASE
1997
IEEE
15 years 2 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
STTT
2008
14 years 9 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
AIEDAM
2004
14 years 9 months ago
2004
Can artificial systems be creative? Can they be designed to be creative on their own? And what are the requirements of such creative artificial systems? To be able to support human...