3828 search results - page 372 / 766 » Proof-Based System Engineering Using a Virtual System Model |
178
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
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...
171
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
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...
148
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
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 ...
168
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
181
Voted
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
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...