4350 search results - page 667 / 870 » Case studies for contract-based systems |
138
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
134
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
120
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
119
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
133
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...