Sciweavers

694 search results - page 96 / 139
» A Semantic Framework for Designer Transactions
Sort
View
EDBT
2002
ACM
92views Database» more  EDBT 2002»
14 years 8 months ago
XQuery by the Book: The IPSI XQuery Demonstrator
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
Peter Fankhauser, Tobias Groh, Sven Overhage
IJAR
2010
120views more  IJAR 2010»
13 years 7 months ago
Comparison of tightly and loosely coupled decision paradigms in multiagent expedition
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
Yang Xiang, Franklin Hanshar
ICFP
2003
ACM
14 years 8 months ago
A theory of aspects
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
David Walker, Steve Zdancewic, Jay Ligatti
ICSE
2000
IEEE-ACM
14 years 10 days ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
ECTEL
2007
Springer
14 years 2 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...