4286 search results - page 481 / 858 » Formalizing Service Interactions |
171
click to vote
CSFW
2008
IEEE
16 years 22 days ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
155
click to vote
IAT
2008
IEEE
16 years 21 days ago
2008
IEEE
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
144
click to vote
ESAS
2007
Springer
16 years 13 days ago
2007
Springer
—Nowadays, users are increasingly concerned about individual privacy in cyberspace and Internet. In this paper, we propose the concept of private handshakes with optional account...
172
click to vote
ICMCS
2006
IEEE
16 years 9 days ago
2006
IEEE
Artists in new media arts explore the possibilities offered by digital technologies to create adaptive and interactive new media artworks integrating audio and video. In this pape...
163
click to vote
ICW
2005
IEEE
15 years 12 months ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...