Sciweavers

1180 search results - page 57 / 236
» Interaction Protocols in Agentis
Sort
View
CSFW
2006
IEEE
14 years 5 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
MOBICOM
2006
ACM
14 years 5 months ago
The design, deployment, and analysis of signetLab: a sensor network testbed and interactive management tool
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
Riccardo Crepaldi, Simone Friso, Albert F. Harris ...
AISC
2006
Springer
14 years 2 months ago
Interactive Mathematical Documents
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
Arjeh M. Cohen
DAGSTUHL
2003
14 years 16 days ago
Interactive Mathematical Documents on the Web
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Bar...
SEAA
2008
IEEE
14 years 5 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek