4327 search results - page 712 / 866 » Web presentation system using RST events |
131
click to vote
SCAM
2005
IEEE
15 years 11 months ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
162
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
142
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
149
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
154
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...