6846 search results - page 175 / 1370 » Developing an Active Observer |
117
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
122
Voted
ISSRE
2008
IEEE
15 years 9 months ago
2008
IEEE
Prediction of fault prone software components is one of the most researched problems in software engineering. Many statistical techniques have been proposed but there is no consen...
118
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Interruptions are a central characteristic of work in critical environments such as hospitals, airlines, and security agencies. Often, interruptions occur as notifications of some...
166
click to vote
MINENET
2006
ACM
15 years 9 months ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
128
click to vote
ICITA
2005
IEEE
15 years 9 months ago
2005
IEEE
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...