1525 search results - page 219 / 305 » Formal Models for Communication-Based Design |
79
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...
114
click to vote
EUROPKI
2004
Springer
15 years 6 months ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
126
Voted
AADEBUG
2000
Springer
15 years 5 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
117
click to vote
ASIACRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
106
click to vote
ICALT
2007
IEEE
15 years 2 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...