2123 search results - page 217 / 425 » Composition of Cyber-Physical Systems |
190
click to vote
PDSE
1998
15 years 8 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
133
click to vote
ENTCS
2010
15 years 6 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
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,...
159
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
141
click to vote
ANSOFT
1999
15 years 6 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...