Sciweavers

1397 search results - page 59 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
EPK
2007
148views Management» more  EPK 2007»
15 years 2 months ago
On the Degree of Behavioral Similarity between Business Process Models
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...
Jan Mendling, Boudewijn F. van Dongen, Wil M. P. v...
115
Voted
APN
2006
Springer
15 years 4 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
85
Voted
APSEC
2007
IEEE
15 years 7 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
120
Voted
GRID
2006
Springer
15 years 19 days ago
Resource Allocation in Streaming Environments
This paper considers resource allocation algorithms for processing streams of events on computational grids. For example, financial trading applications are executed on large comp...
Lu Tian, K. Mani Chandy
109
Voted
ICCAD
2000
IEEE
91views Hardware» more  ICCAD 2000»
15 years 5 months ago
A Timing-Constrained Algorithm for Simultaneous Global Routing of Multiple Nets
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
Jiang Hu, Sachin S. Sapatnekar