17789 search results - page 207 / 3558 » Exceptional Use Cases |
123
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
151
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
142
click to vote
FLAIRS
2007
15 years 6 months ago
2007
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold’em. The development of a CASe-based Poker playER (CASPER) is discussed....
128
click to vote
COLING
2008
15 years 5 months ago
2008
We determine the subjectivity of word senses. To avoid costly annotation, we evaluate how useful existing resources established in opinion mining are for this task. We show that r...
168
click to vote
WOA
2010
15 years 1 months ago
2010
This paper reports on three notable examples of the use of multi-agent systems in the Italian Industry. First, we introduce the topic and we outline some examples of real-world age...