6348 search results - page 471 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
261
click to vote
GTTSE
2007
Springer
17 years 4 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
153
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper analyzes the performance of the TRIPS prototype chip’s block predictor. The prototype is the first implementation of the block-atomic TRIPS architecture, wherein the...
170
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
141
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
160
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...