Sciweavers

9210 search results - page 323 / 1842
» Analyzing Real-Time Systems
Sort
View
90
Voted
QEST
2005
IEEE
15 years 6 months ago
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Koushik Sen, Mahesh Viswanathan, Gul A. Agha
87
Voted
ECBS
2000
IEEE
84views Hardware» more  ECBS 2000»
15 years 5 months ago
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
Bonnie E. Melhart, Stephanie White
76
Voted
CBMS
2007
IEEE
15 years 7 months ago
Analyzing Requirements for a Large Scale System for Cancer Research
While most of the attention on building systems enabling semantic interoperability has been devoted to technical issues, human and organizational aspects are of equally if not hig...
Vito Perrone, Anthony Finkelstein
99
Voted
EDOC
2006
IEEE
15 years 4 months ago
An Evaluation Approach for Analyzing Workflow Management Systems from a Value-based Perspective
Workflow management systems (WfMS) have become a widely accepted software technology, which enables the effective management, execution, and monitoring of comput
Bela Mutschler, Johannes Bumiller, Manfred Reicher...
112
Voted
CIMCA
2008
IEEE
15 years 7 months ago
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
An early prediction of resource utilization and its impact on system performance and reliability can reduce the overall system cost, by allowing early correction of detected probl...
Aida Causevic, Paul Pettersson, Cristina Cerschi S...