Sciweavers

2002 search results - page 38 / 401
» An Approach for Assessment of Reliability of the System Usin...
Sort
View
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
14 years 24 days ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
JUCS
2010
139views more  JUCS 2010»
13 years 3 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
CORR
2008
Springer
139views Education» more  CORR 2008»
13 years 9 months ago
Exact two-terminal reliability of some directed networks
Abstract-- The calculation of network reliability in a probabilistic context has long been an issue of practical and academic importance. Conventional approaches (determination of ...
Christian Tanguy
BPM
2003
Springer
116views Business» more  BPM 2003»
14 years 2 months ago
Use Cases as Workflows
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
Michel R. V. Chaudron, Kees M. van Hee, Lou J. Som...
WSC
2000
13 years 10 months ago
Teaching simulation using case studies
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
Charles R. Standridge