Sciweavers

5334 search results - page 488 / 1067
» Communicating quantum processes
Sort
View
ISSRE
2005
IEEE
16 years 22 days ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
GROUP
2005
ACM
16 years 22 days ago
A survey of collaborative information seeking practices of academic researchers
Information seeking and management practices are an integral aspect of people’s daily work. However, we still have little understanding of collaboration in the information seeki...
Patricia Ruma Spence, Madhu C. Reddy, Richard Hall
ATAL
2005
Springer
16 years 21 days ago
Argumentation-based dialogues for deliberation
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation we a...
Yuqing Tang, Simon Parsons
DCOSS
2005
Springer
16 years 21 days ago
Multi-query Optimization for Sensor Networks
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
Niki Trigoni, Yong Yao, Alan J. Demers, Johannes G...
GC
2004
Springer
16 years 16 days ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...