2836 search results - page 504 / 568 » Model Checking for Software Architectures |
155
click to vote
IEEESP
2008
15 years 5 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
136
click to vote
CACM
2000
15 years 5 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
159
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
153
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
163
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...