2024 search results - page 250 / 405 » A Formal Model of Multi-agent Computations |
113
click to vote
RTSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
117
click to vote
AADEBUG
2000
Springer
15 years 4 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
USS
2008
15 years 1 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
111
click to vote
DLOG
2003
15 years 29 days ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
77
Voted
CONCUR
2010
Springer
15 years 21 days ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...