10159 search results - page 151 / 2032 » System Design Validation Using Formal Models |
152
Voted
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
169
click to vote
LOGCOM
1998
15 years 2 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
118
click to vote
SUM
2010
Springer
15 years 7 days ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
115
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we investigate both experimentally and via simulation the monitoring of fiber link quality in a PON using optical coding technology. We use a new, simple and costeffe...
124
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...