Sciweavers

1484 search results - page 89 / 297
» A Coordination Model for Interactive Components
Sort
View
132
Voted
BMCBI
2005
201views more  BMCBI 2005»
14 years 11 months ago
Principal component analysis for predicting transcription-factor binding motifs from array-derived data
Background: The responses to interleukin 1 (IL-1) in human chondrocytes constitute a complex regulatory mechanism, where multiple transcription factors interact combinatorially to...
Yunlong Liu, Matthew P. Vincenti, Hiroki Yokota
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
15 years 5 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
15 years 5 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
WSC
2007
15 years 1 months ago
Agent-based simulation for collaborative cranes
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
Cheng Zhang, Amin Hammad
ICDCSW
2003
IEEE
15 years 4 months ago
Tuples On The Air: A Middleware for Context-Aware Computing in Dynamic Networks
We present TOTA (“Tuples On The Air”), a novel middleware for supporting adaptive context-aware activities in dynamic network scenarios. The key idea in TOTA is to rely on spa...
Marco Mamei, Franco Zambonelli, Letizia Leonardi