3441 search results - page 484 / 689 » Provenance of Software Development Processes |
109
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
118
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
138
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
125
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
134
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...