1525 search results - page 47 / 305 » POSD-a notation for presenting complex systems of processes |
JLP
2006
15 years 1 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
97
Voted
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
106
click to vote
WOTUG
2007
15 years 3 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
118
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
: Swift and frictionless launches of new products are a decisive capability of future telecommunication providers, especially in an all-IP production environment. These processes a...
MASCOTS
2004
15 years 3 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...