Sciweavers

354 search results - page 51 / 71
» An Architectural Foundation for Relating Features
Sort
View
DKE
2007
136views more  DKE 2007»
14 years 11 months ago
Deciding XPath containment with MSO
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
Pierre Genevès, Nabil Layaïda
JOT
2006
92views more  JOT 2006»
14 years 11 months ago
A Rule-Based Approach to Framework Evolution
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
Mariela Cortés, Marcus Fontoura, Carlos Jos...
CN
2002
102views more  CN 2002»
14 years 11 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Falk Dietrich, Jean-Pierre Hubaux
ICIDS
2010
Springer
14 years 9 months ago
Emohawk: Learning Virtual Characters by Doing
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
Michal Bída, Cyril Brom
INFOCOM
2003
IEEE
15 years 5 months ago
Associative Search in Peer to Peer Networks: Harnessing Latent Semantics
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...
Edith Cohen, Amos Fiat, Haim Kaplan