11328 search results - page 137 / 2266 » Timed Branching Processes |
158
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
132
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
3D-shape description requires the partition of objects in different parts. In this paper, we propose a new approach based on the analysis of a 3D skeleton. The skeleton is a repre...
113
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
131
click to vote
CSMR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
114
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...