713 search results - page 5 / 143 » An Integrated Framework for Security and Dependability |
APSEC
2009
IEEE
13 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
LCN
1999
IEEE
13 years 11 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
RE
2007
Springer
14 years 26 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
REFLECTION
2001
Springer
13 years 11 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
TOOLS
2000
IEEE
13 years 11 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...