2274 search results - page 145 / 455 » Qualitative Modeling for Requirements Engineering |
171
click to vote
AC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
150
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
119
click to vote
EXPERT
2006
15 years 6 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
179
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Probabilistic graphical models such as Bayesian Networks have been increasingly applied to many computer vision problems. Accuracy of inferences in such models depends on the quali...
169
click to vote
CAI
2010
Springer
15 years 3 months 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...