1121 search results - page 141 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
AEI
2005
14 years 11 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
112
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
108
click to vote
AAI
2000
14 years 11 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
102
click to vote
APSEC
2002
IEEE
15 years 4 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
CONCURRENCY
2008
14 years 12 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...