3425 search results - page 333 / 685 » A Model Driven Approach for Software Systems Reliability |
155
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
141
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
129
Voted
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
135
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
The major purpose of the design of distributed databases is to improve system performance and to increase system reliability. Fragmentation and allocation play important roles in t...
138
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...