53 search results - page 10 / 11 » A Semantics Approach for KQML - A General Purpose Communicat... |
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
14 years 5 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
MMS
2006
13 years 4 months ago
2006
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
TAPSOFT
1997
Springer
13 years 9 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...