5600 search results - page 99 / 1120 » Synthesizing robust systems |
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...
DSN
2002
IEEE
14 years 25 days ago
2002
IEEE
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
— Previous work (Kouvaritakis et al., 1992) proposed