1154 search results - page 155 / 231 » Mathematizing C concurrency |
125
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
121
click to vote
CASCON
2007
15 years 4 months ago
2007
Information obtained by merging data extracted from problem reporting systems – such as Bugzilla – and versioning systems – such as Concurrent Version System (CVS) – is wi...
108
click to vote
AAAI
2006
15 years 4 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
107
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
104
click to vote
WSC
2004
15 years 4 months ago
2004
This paper presents VITASCOPE, a general-purpose, userextensible 3D visualization system for animating processes that are modeled using Discrete-Event Simulation tools. VITASCOPE ...