Sciweavers

365 search results - page 50 / 73
» Explicit Connectors in Component Based Software Engineering ...
Sort
View
ISORC
2005
IEEE
14 years 2 months ago
A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...
Paul Townend, Paul T. Groth, Jie Xu
ICONS
2009
IEEE
14 years 3 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
CODES
2010
IEEE
13 years 6 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...
IUI
2000
ACM
14 years 1 months ago
Data exploration across temporal contexts
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
Mark Derthick, Steven F. Roth
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 2 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli