Sciweavers

1398 search results - page 95 / 280
» Ensuring Properties of Interaction Systems
Sort
View
APSEC
2007
IEEE
15 years 10 months ago
Coordination-Policy Based Composed System Behavior Derivation
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang,...
ISORC
2000
IEEE
15 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 6 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
BMCBI
2010
83views more  BMCBI 2010»
15 years 4 months ago
Trees on networks: resolving statistical patterns of phylogenetic similarities among interacting proteins
Background: Phylogenies capture the evolutionary ancestry linking extant species. Correlations and similarities among a set of species are mediated by and need to be understood in...
William P. Kelly, Michael P. H. Stumpf
IROS
2008
IEEE
118views Robotics» more  IROS 2008»
15 years 11 months ago
Laban Movement Analysis for multi-ocular systems
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...
Jörg Rett, Luis Santos, Jorge Dias