6248 search results - page 225 / 1250 » Programming in a data factory |
154
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
153
click to vote
ISIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Adaptive Business Intelligence is the discipline that combines prediction, optimization and adaptability into a system answering two important questions: What would probably happe...
157
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
205
click to vote
SEMCO
2008
IEEE
16 years 29 days ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
203
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...