2108 search results - page 305 / 422 » An Operational Semantics for Stateflow |
136
click to vote
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
144
Voted
ISMIS
2000
Springer
15 years 7 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
139
click to vote
VL
1998
IEEE
15 years 7 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
125
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
137
Voted
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...