Sciweavers

365 search results - page 65 / 73
» Overview of TREC 2003
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
14 years 3 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
IICS
2003
Springer
14 years 3 months ago
Mobile Business Processes
Today’s global markets demand global processes. Increasingly, these processes are not only distributed, but also contain mobile aspects. We discuss two challenges brought about b...
Volker Gruhn, Matthias Book
ILP
2003
Springer
14 years 3 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton
DAGSTUHL
2003
13 years 11 months ago
SHOE: A Blueprint for the Semantic Web
The term Semantic Web was coined by Tim Berners-Lee to describe his proposal for \a web of meaning," as opposed to the \web of links" that currently exists on the Intern...
Jeff Heflin, James A. Hendler, Sean Luke
DAIS
2003
13 years 11 months ago
Jironde: A Flexible Framework for Making Components Transactional
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
Marek Prochazka