179 search results - page 14 / 36 » A Comparative Analysis of i*-Based Agent-Oriented Modeling L... |
COMPSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
FM
2008
Springer
13 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
CIVR
2004
Springer
14 years 3 days ago
2004
Springer
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...
SMI
2010
IEEE
13 years 4 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
IJCAI
2007
13 years 8 months ago
2007
Computing semantic relatedness of natural language texts requires access to vast amounts of common-sense and domain-specific world knowledge. We propose Explicit Semantic Analysi...