717 search results - page 53 / 144 » Concurrent Engineering |
119
click to vote
EWSPT
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
133
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Today, most personal mobile devices (e.g. cell phones and PDAs) are multimedia-enabled and support a variety of concurrently running applications such as audio/video players, word...
136
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
245
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
134
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Coordination of development activities is often the most crucial success factor in a software development team. Typically, teams rely on configuration management (CM) systems for...