Sciweavers

3913 search results - page 639 / 783
» complexity 2006
Sort
View
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 5 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
CLEIEJ
2006
192views more  CLEIEJ 2006»
15 years 5 months ago
Applying Software Metrics to evaluate Business Process Models
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Elvira Rolón Aguilar, Francisco Ruiz, F&eac...
CN
2006
161views more  CN 2006»
15 years 5 months ago
A multimedia traffic modeling framework for simulation-based performance evaluation studies
The emergence of high-speed communication systems has enabled the support of complex multimedia applications. The traffic patterns generated by such applications are likely to be ...
Assen Golaup, Hamid Aghvami
138
Voted
CN
2006
79views more  CN 2006»
15 years 5 months ago
Explicit rate multicast congestion control
In this article, we propose a new single-rate end-to-end multicast congestion control scheme called Explicit Rate Multicast Congestion Control (ERMCC) based on a new metric, TRAC ...
Jiang Li, Murat Yuksel, Shivkumar Kalyanaraman
CN
2006
99views more  CN 2006»
15 years 5 months ago
High-performance switching based on buffered crossbar fabrics
As buffer-less crossbar scheduling algorithms reach their practical limitations due to higher port numbers and data rates, internally buffered crossbar (IBC) switches have gained ...
Lotfi Mhamdi, Mounir Hamdi, Christopher Kachris, S...