Sciweavers

4 search results - page 1 / 1
» Composing Event Constraints in State-Based Specification
Sort
View
FORTE
2004
13 years 5 months ago
Composing Event Constraints in State-Based Specification
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
Tommaso Bolognesi
ENTCS
2008
112views more  ENTCS 2008»
13 years 3 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
HYBRID
1995
Springer
13 years 7 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
SENSYS
2010
ACM
13 years 1 months ago
Meeting ecologists' requirements with adaptive data acquisition
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
Marcus Chang, Philippe Bonnet