Sciweavers

554 search results - page 74 / 111
» Communicating Structures for Modeling Large-scale Systems
Sort
View
GROUP
1997
ACM
15 years 4 months ago
Flexible support for business processes: extending cooperative hypermedia with process support
In this paper, we present a cooperativehypermediabased process support system aimed on exible business processes. An analysis of the communication, coordination and cooperation r...
Jörg M. Haake, Weigang Wang
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 6 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
FDL
2005
IEEE
15 years 5 months ago
Incorporating SystemC in Analog/Mixed-Signal Design Flow
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
Patrick Birrer, Walter Hartong
WOTUG
2008
15 years 1 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
WSE
2006
IEEE
15 years 5 months ago
Modeling Request Routing in Web Applications
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
Minmin Han, Christine Hofmeister