1912 search results - page 196 / 383 » GOAL as a Planning Formalism |
153
click to vote
WRAC
2005
Springer
15 years 12 months ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
194
click to vote
EUROPKI
2004
Springer
15 years 12 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...
155
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
186
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
190
click to vote
ASIACRYPT
2001
Springer
15 years 10 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...