Sciweavers

3104 search results - page 10 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
HASE
1999
IEEE
13 years 11 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
JSS
2000
86views more  JSS 2000»
13 years 7 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
WECWIS
1999
IEEE
111views ECommerce» more  WECWIS 1999»
13 years 11 months ago
A Quantitative Analysis of the User Behavior of a Large E-Broker
The Internet and the World Wide Web provide a global virtual marketplace. However, there is little information about the behavior of e-commerce users worldwide. The goal of the pa...
Virgilio Almeida, Wagner Meira Jr., Victor F. Ribe...
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
13 years 5 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
14 years 1 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot