Sciweavers

1139 search results - page 117 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
BPM
2008
Springer
174views Business» more  BPM 2008»
15 years 8 months ago
A Framework for Dependency Based Automatic Service Composition
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
Abrehet M. Omer, Alexander Schill
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
15 years 12 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...
SIGIR
1998
ACM
15 years 10 months ago
A Language Modeling Approach to Information Retrieval
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
Jay M. Ponte, W. Bruce Croft
ESWS
2009
Springer
16 years 29 days ago
An Ontology of Resources: Solving the Identity Crisis
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
Harry Halpin, Valentina Presutti
ATAL
2005
Springer
15 years 12 months ago
A multiagent system manages collaboration in emergent processes
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
John K. Debenham