2513 search results - page 63 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
SAC
2006
ACM
14 years 3 months ago
2006
ACM
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
AVI
2000
13 years 11 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
LMO
1996
13 years 11 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...