3425 search results - page 234 / 685 » A Model Driven Approach for Software Systems Reliability |
135
click to vote
BIS
2008
15 years 5 months ago
2008
Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...
146
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
119
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
168
Voted
COMPSAC
2010
IEEE
15 years 27 days ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
158
Voted
ICDCIT
2004
Springer
15 years 9 months ago
2004
Springer
We discuss research issues and models for vulnerabilities and threats in distributed computing systems. We present four diverse approaches to reducing system vulnerabilities and th...