12670 search results - page 134 / 2534 » Requirements Modeling |
120
click to vote
WSC
2008
15 years 5 months ago
2008
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
132
click to vote
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
136
click to vote
CAI
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
130
Voted
CVDB
2004
ACM
15 years 8 months ago
2004
ACM
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
123
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...