4966 search results - page 601 / 994 » its 2010 |
245
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
236
click to vote
ECRTS
2010
IEEE
15 years 8 months ago
2010
IEEE
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...
200
click to vote
ECRTS
2010
IEEE
15 years 8 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
184
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
One of the main advantages of the Web component-based development paradigm is the ability to build customizable and composable web application modules as independent units of devel...
179
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...