Sciweavers

4934 search results - page 843 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
122
Voted
DEXA
2008
Springer
137views Database» more  DEXA 2008»
15 years 4 months ago
A Grid-Based Multi-relational Approach to Process Mining
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
Antonio Turi, Annalisa Appice, Michelangelo Ceci, ...
TREC
1998
15 years 3 months ago
DSIR: the First TREC-7 Attempt
This paper describes our first large-scale retrieval attempt in TREC-7 using DSIR. DSIR is a vector space based retrieval system in which semantic similarity between words, docume...
Arnon Rungsawang
93
Voted
AUTOMATICA
2008
127views more  AUTOMATICA 2008»
15 years 2 months ago
On decentralized negotiation of optimal consensus
A consensus problem consists of finding a distributed control strategy that brings the state or output of a group of agents to a common value, a consensus point. In this paper, we...
Björn Johansson, Alberto Speranzon, Mikael Jo...
ENTCS
2010
84views more  ENTCS 2010»
15 years 2 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
STTT
2010
115views more  STTT 2010»
15 years 17 days ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai