973 search results - page 123 / 195 » Arguing Using Opponent Models |
122
click to vote
MONTEREY
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
118
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Many argue that offshoring is an inexorable trend since IT skills have become a global commodity and they are vastly cheaper in other parts of the world. According to this view, m...
120
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The prosodic specification of an utterance to be spoken by a Textto-Speech synthesis system can be devised in break indices, pitch accents and boundary tones. In particu...
149
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
131
Voted
EDCC
2008
Springer
15 years 6 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...