7139 search results - page 993 / 1428 » Language Engineering in Practice |
191
click to vote
COOPIS
2003
IEEE
16 years 7 days ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
184
click to vote
PLDI
2003
ACM
16 years 6 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
177
click to vote
PLDI
2003
ACM
16 years 6 days ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
209
click to vote
FMCO
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
217
click to vote
PLDI
2010
ACM
16 years 1 days ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...