2872 search results - page 534 / 575 » On (Omega-)Regular Model Checking |
127
Voted
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
247
Voted
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
227
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
175
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
142
Voted
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...