340 search results - page 39 / 68 » Validating Business Requirements Using MAS Analysis Models |
108
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...
97
Voted
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
103
click to vote
EMO
2005
Springer
15 years 6 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
113
Voted
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
125
Voted
WCRE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...