362 search results - page 52 / 73 » Semantic matchmaking of web services using model checking |
132
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
132
click to vote
WOA
2007
15 years 5 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
139
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
135
click to vote
ASWC
2008
Springer
15 years 5 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
106
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
A problem facing many textbook authors (including one of the authors of this paper) is the inevitable delay between new advances in the subject area and their incorporation in a n...