3425 search results - page 326 / 685 » A Model Driven Approach for Software Systems Reliability |
171
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
130
Voted
GROUP
2003
ACM
15 years 10 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
171
click to vote
AMAST
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
162
click to vote
CAL
2010
15 years 2 months ago
2010
Address translation often emerges as a critical performance bottleneck for virtualized systems and has recently been the impetus for hardware paging mechanisms. These mechanisms ap...
154
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...