Sciweavers

3828 search results - page 372 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
CAISE
2004
Springer
16 years 4 days ago
Multi-Paradigm Process Management
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
Michael zur Muehlen, Michael Rosemann
FQAS
2006
Springer
106views Database» more  FQAS 2006»
15 years 10 months ago
A Functional Model for Data Analysis
We present a functional model for the analysis of large volumes of detailed transactional data, accumulated over time. In our model, the data schema is an acyclic graph with a sing...
Nicolas Spyratos
CODES
2007
IEEE
16 years 1 months ago
Power deregulation: eliminating off-chip voltage regulation circuitry from embedded systems
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
Seunghoon Kim, Robert P. Dick, Russ Joseph
SIGIR
2003
ACM
15 years 12 months ago
Distributed Web Search as a Stochastic Game
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers distribute userā...
Rinat Khoussainov, Nicholas Kushmerick
181
Voted
SIGMOD
2002
ACM
142views Database» more  SIGMOD 2002»
16 years 6 months ago
The Grid: An Application of the Semantic Web
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
Carole A. Goble, David De Roure