6348 search results - page 1223 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
144
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
128
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
129
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
131
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
115
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Complex embedded systems have always been heterogeneous multicore systems. Because of the tight constraints on power, performance and cost, this situation is not likely to change a...