Sciweavers

184 search results - page 27 / 37
» Incremental execution of transformation specifications
Sort
View
BMCBI
2006
94views more  BMCBI 2006»
13 years 10 months ago
Genepi: a blackboard framework for genome annotation
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
Stéphane Descorps-Declère, Danielle ...
HPDC
2010
IEEE
13 years 11 months ago
Towards optimising distributed data streaming graphs using parallel streams
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
Chee Sun Liew, Malcolm P. Atkinson, Jano I. van He...
AI
2008
Springer
13 years 10 months ago
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
ENTCS
2006
135views more  ENTCS 2006»
13 years 9 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
ADAEUROPE
2010
Springer
13 years 7 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...