916 search results - page 109 / 184 » Activity Theory for the Analysis and Design of Multi-agent S... |
CODES
2008
IEEE
13 years 11 months ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
WCRE
1993
IEEE
14 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
IJCSA
2008
13 years 9 months ago
2008
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...