4327 search results - page 712 / 866 » Web presentation system using RST events |
176
Voted
SCAM
2005
IEEE
16 years 18 days 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...
198
click to vote
ICTAC
2005
Springer
16 years 16 days 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 ...
175
Voted
TACAS
2005
Springer
16 years 15 days 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...
184
Voted
HICSS
2003
IEEE
16 years 9 days 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...
187
Voted
ATAL
2003
Springer
16 years 8 days 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...