Sciweavers

835 search results - page 25 / 167
» A calculus of challenges and responses
Sort
View
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 7 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
OTM
2005
Springer
14 years 1 months ago
Probabilistic Ontologies and Relational Databases
The relational algebra and calculus do not take the semantics of terms into account when answering queries. As a consequence, not all tuples that should be returned in response to ...
Octavian Udrea, Yu Deng, Edward Hung, V. S. Subrah...
DSVIS
2003
Springer
14 years 27 days ago
Workspaces: A Multi-level Architectural Style for Synchronous Groupware
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
W. Greg Phillips, T. C. Nicholas Graham
COMSWARE
2007
IEEE
14 years 2 months ago
RAT: Routing by Adaptive Targeting in Wireless Sensor/Actor Networks
— Wireless sensor networks have attracted significant interest for various scientific, military, and e-health applications. Recently a new class of sensor networks “sensor/ac...
Ghalib A. Shah, Muslim Bozyigit, Demet Aksoy
ICASSP
2011
IEEE
12 years 11 months ago
Data-driven fMRI group classification using connected components and Gaussian process classifiers
Functional magnetic resonance imaging (fMRI) is a popular tool for studying brain activity due to its non-invasiveness. Conventionally an expected response needs to be available f...
Sarah Lee, Fernando Zelaya, Yohan Samarasinghe, St...