Sciweavers

3185 search results - page 582 / 637
» Principles for modeling language design
Sort
View
MODELS
2007
Springer
14 years 1 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
SEMWEB
2007
Springer
14 years 1 months ago
Towards Semantic Web Service Engineering
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
Gennady Agre, Zlatina Marinova, Tomás Parie...
SAC
2005
ACM
14 years 1 months ago
Identifying topological predicates for vague spatial objects
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
Alejandro Pauly, Markus Schneider
SIGIR
2005
ACM
14 years 1 months ago
Optimization strategies for complex queries
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
Trevor Strohman, Howard R. Turtle, W. Bruce Croft
AADEBUG
2005
Springer
14 years 1 months ago
Specifying and checking component usage
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
Steven P. Reiss