2136 search results - page 149 / 428 » A Game-Theoretic Operational Semantics |
ICDE
2012
IEEE
12 years 1 months ago
2012
IEEE
— In this paper, we focus on efficient keyword query processing for XML data based on SLCA and ELCA semantics. We propose for each keyword a novel form of inverted list, which i...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
SEKE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
MDM
2007
Springer
14 years 4 months ago
2007
Springer
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
WEBDB
2007
Springer
14 years 4 months ago
2007
Springer
This paper pursues the recently emerging paradigm of searching for entities that are embedded in Web pages. We utilize informationextraction techniques to identify entity candidat...