841 search results - page 40 / 169 » A secure architectural description language for agent system... |
101
click to vote
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
117
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
MSE
2000
IEEE
15 years 6 months ago
2000
IEEE
With the increase of multimedia contents in the WWW, multimodal presentation using interactive life-like agents is attractive and becoming important. However, it is not easy for m...
114
Voted
WICSA
2004
15 years 3 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
119
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...