2419 search results - page 451 / 484 » A Formal Approach to Software Testing |
118
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
148
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
156
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
140
click to vote
ISPDC
2005
IEEE
15 years 11 months ago
2005
IEEE
— Data-centric applications are still a challenging issue for Large Scale Distributed Computing Systems. The emergence of new protocols and softwares for collaborative content di...
149
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...