1100 search results - page 207 / 220 » An Approach to Test Aspect-oriented Programs |
147
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
150
click to vote
FSKD
2007
Springer
15 years 11 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
153
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
192
Voted
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
153
Voted
CHI
2008
ACM
15 years 7 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...