5906 search results - page 823 / 1182 » Message-Oriented-Middleware in a Distributed Environment |
183
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
163
Voted
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
196
click to vote
CBMS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
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 ...
199
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...