641 search results - page 63 / 129 » Embedding Finite Sets in a Logic Programming Language |
228
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
122
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
136
Voted
AIR
2004
15 years 3 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
122
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...