Sciweavers

4386 search results - page 321 / 878
» A Tamper-Resistant Programming Language System
Sort
View
FASE
2007
Springer
16 years 23 days ago
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
Roberto E. Lopez-Herrejon, Sven Apel
ESORICS
2004
Springer
16 years 8 hour ago
ARCHERR: Runtime Environment Driven Program Safety
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman,...
CORR
2006
Springer
135views Education» more  CORR 2006»
15 years 6 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
ISSTA
2006
ACM
16 years 17 days ago
APTE: automated pointcut testing for AspectJ programs
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
Prasanth Anbalagan, Tao Xie
DALT
2008
Springer
15 years 8 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk