253 search results - page 40 / 51 » How to Transform an Analyzer into a Verifier |
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
APSCC
2007
IEEE
14 years 1 months ago
2007
IEEE
The paradigm of service-oriented computing (SOC) has emerged as an architectural approach to flexibility and agility, not just in systems development but also in business process ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...