1420 search results - page 144 / 284 » A combined functional and object-oriented approach to softwa... |
207
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
159
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
193
click to vote
ESTIMEDIA
2005
Springer
15 years 12 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
278
click to vote
ECCE
2011
14 years 6 months ago
2011
Motivation – This research deals with the identification of collective production of a safe radiotherapy treatment and its potential assistance through computer-supported enviro...
173
click to vote
ECBS
2007
IEEE
16 years 22 days ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...