5339 search results - page 450 / 1068 » Controllable Delay-Insensitive Processes |
174
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
175
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Presented here is a computational system which uses free−space optical interconnect (FSOI) communication between processing elements to perform distributed calculations. Technolo...
214
Voted
DEEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
173
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants mi...
164
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...