3573 search results - page 589 / 715 » Reasoning about Codata |
112
click to vote
FAC
2007
15 years 23 days ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
98
Voted
SIGOPS
2008
15 years 22 days ago
2008
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...
121
click to vote
AEI
2004
15 years 21 days ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
114
click to vote
AI
2000
Springer
15 years 19 days ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
107
Voted
AAMAS
1999
Springer
15 years 15 days ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...