318 search results - page 11 / 64 » Formal Description of Autopoiesis Based on the Theory of Cat... |
AOSD
2010
ACM
14 years 1 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
WWW
2003
ACM
14 years 7 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
ADBIS
1997
Springer
13 years 11 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
CCS
2005
ACM
14 years 7 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...