3441 search results - page 484 / 689 » Provenance of Software Development Processes |
151
click to vote
FSEN
2007
Springer
16 years 19 days 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...
155
click to vote
WECWIS
2006
IEEE
16 years 15 days 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...
186
click to vote
ACSD
2005
IEEE
16 years 3 days 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...
158
click to vote
DATE
2005
IEEE
16 years 3 days 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...
170
click to vote
IPPS
2005
IEEE
16 years 2 days 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...