6474 search results - page 1211 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
178
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
147
click to vote
ICSM
2008
IEEE
16 years 17 days ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
168
click to vote
QEST
2008
IEEE
16 years 16 days ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
159
click to vote
ISPASS
2007
IEEE
16 years 13 days ago
2007
IEEE
This paper proposes a specialized memory structure called CA-RAM (Content Addressable Random Access Memory) to accelerate search operations present in many important real-world ap...
144
click to vote
VMCAI
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...