Sciweavers

9387 search results - page 1240 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
VMCAI
2010
Springer
16 years 4 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
ICCS
2009
Springer
16 years 1 months ago
Towards a Complex Automata Multiscale Model of In-Stent Restenosis
Abstract. In-stent restenosis, the maladaptive response of a blood vessel to injury caused by the deployment of a stent, is a multiscale problem involving a large number of process...
Alfonso Caiazzo, David Evans, Jean-Luc Falcone, Ja...
PIMRC
2008
IEEE
16 years 1 months ago
The Wireless Engset Multi-Rate Loss Model for the Handoff traffic analysis in W-CDMA networks
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
Vassilios G. Vassilakis, Michael D. Logothetis
RE
2005
Springer
16 years 21 days ago
Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
Steve M. Easterbrook, Eric S. K. Yu, Jorge Aranda,...
ICPPW
2003
IEEE
16 years 15 days ago
Load Balancing on PC Clusters with the Super-Programming Model
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...
Dejiang Jin, Sotirios G. Ziavras
« Prev « First page 1240 / 1878 Last » Next »