Sciweavers

4126 search results - page 667 / 826
» Relationships with other Formalisms
Sort
View
SEC
2004
15 years 7 months ago
Interactive Access Control for Web Services
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
Hristo Koshutanski, Fabio Massacci
IJCAI
2003
15 years 7 months ago
Multiagent Planning with Partially Ordered Temporal Plans
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
Michael Brenner
IJCAI
2003
15 years 7 months ago
Dynamic Bayesian modeling of the cerebral activity
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
Vincent Labatut, Josette Pastor, Serge Ruff
INTERACT
2003
15 years 7 months ago
Collaboration Meets Fitts' Law: Passing Virtual Objects with and without Haptic Force Feedback
: Handing over objects is a common event during collaboration in face-to-face interaction. We investigate how such an event can be supported when the interaction takes place in vir...
Eva-Lotta Sallnäs, Shumin Zhai
WOA
2004
15 years 7 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...