2132 search results - page 157 / 427 » Automated software winnowing |
125
click to vote
ISADS
2003
IEEE
15 years 4 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
121
click to vote
LISA
2008
15 years 1 months ago
2008
Application problem diagnosis in complex enterprise environments is a challenging problem, and contributes significantly to the growth in IT management costs. While application pr...
100
click to vote
JSS
2006
14 years 11 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
106
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...