1312 search results - page 137 / 263 » Embedded contract languages |
149
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
156
click to vote
PET
2004
Springer
15 years 8 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
114
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
134
click to vote
ICADL
2003
Springer
15 years 8 months ago
2003
Springer
Current rights management systems are not able to enforce copyright laws because of both legal and technological reasons. The contract rights granted by a copyright owner are often...
131
Voted
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
— Active Networks, being programmable, promise greater flexibility than current networks. Programmability, however, may introduce safety and security risks. This paper describes...