6846 search results - page 175 / 1370 » Developing an Active Observer |
160
click to vote
CCS
2009
ACM
16 years 1 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...
164
click to vote
ISSRE
2008
IEEE
16 years 28 days 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...
158
click to vote
HICSS
2007
IEEE
16 years 26 days 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...
209
click to vote
MINENET
2006
ACM
16 years 14 days 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...
169
click to vote
ICITA
2005
IEEE
16 years 3 days 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...