Sciweavers

4255 search results - page 771 / 851
» Database: Models, Languages, Design
Sort
View
MODELS
2007
Springer
15 years 10 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
15 years 10 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...
SIGIR
2005
ACM
15 years 10 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
15 years 10 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
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 9 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang