1856 search results - page 341 / 372 » Formal Dialectic Specification |
115
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
125
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
208
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
121
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
121
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...