208 search results - page 3 / 42 » Highly dependable concurrent programming using design for ve... |
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
115
Voted
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
88
Voted
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
99
Voted
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
106
Voted
APCCM
2008
14 years 11 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...