6348 search results - page 1085 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
HIPS
1997
IEEE
14 years 10 days ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
ACMSE
2007
ACM
14 years 4 days ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
ATAL
2007
Springer
14 years 4 days ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
BIRTHDAY
2009
Springer
14 years 4 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
CCS
2007
ACM
14 years 3 days ago
2007
ACM
We present a framework to prevent code injection attacks in MS Windows using Native APIs in the operating system. By adopting the idea of diversity, this approach is implemented i...