Sciweavers

1036 search results - page 146 / 208
» Utilizing Validation Experience for System Validation
Sort
View
LICS
2003
IEEE
14 years 1 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
NOMS
2002
IEEE
130views Communications» more  NOMS 2002»
14 years 20 days ago
Design of a network level management information model for automatically switched transport networks
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...
Georg Lehr, Ulrike Hartmer, Ralf Geerdsen
ANSS
2000
IEEE
14 years 5 days ago
An Analytic Method for Predicting Simulation Parallelism
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
Hong Wang, Yong Meng Teo, Seng Chuan Tay
ICRA
1999
IEEE
102views Robotics» more  ICRA 1999»
14 years 1 days ago
Teleoperation with Adaptive Motion/Force Control
In this paper, an adaptive motion force control based approach is proposed to control bilateral teleoperation systems under both position and rate control with arbitrary motion fo...
Wen-Hong Zhu, S. E. Salcudean
CIBCB
2007
IEEE
13 years 11 months ago
Genetic Regulatory Network Modeling Using Network Component Analysis and Fuzzy Clustering
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
Fatemeh Bakouie, Mohammad Hassan Moradi