1127 search results - page 193 / 226 » Robots are agents, too! |
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
PERVASIVE
2007
Springer
14 years 4 months ago
2007
Springer
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
AINA
2006
IEEE
14 years 4 months ago
2006
IEEE
MIS (Mobile Internet Services) architecture is designed for secure connection and fast handover with wireless LAN. This architecture consists of three protocols, MISP (Mobile Inte...