Sciweavers

794 search results - page 133 / 159
» Active XML Schemas
Sort
View
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 11 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ICDE
2008
IEEE
209views Database» more  ICDE 2008»
16 years 8 months ago
Distributed Monitoring of Peer-to-Peer Systems
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
Serge Abiteboul, Bogdan Marinoiu, Pierre Bourhis
AGENTS
1997
Springer
15 years 10 months ago
Neo: Learning Conceptual Knowledge by Sensorimotor Interaction with an Environment
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
Paul R. Cohen, Marc S. Atkin, Tim Oates, Carole R....
ICDT
2011
ACM
270views Database» more  ICDT 2011»
14 years 10 months ago
On the equivalence of distributed systems with queries and communication
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
Serge Abiteboul, Balder ten Cate, Yannis Katsis
174
Voted
ICALP
2005
Springer
16 years 3 days ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin