Sciweavers

2859 search results - page 95 / 572
» A Programming Environment for Bousi-Prolog
Sort
View
JALC
2006
125views more  JALC 2006»
15 years 4 months ago
A Confinement Criterion for Securely Executing Mobile Code
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
Hervé Grall
CD
2004
Springer
15 years 10 months ago
Towards a Dynamic Resource Contractualisation for Software Components
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
Nicolas Le Sommer
152
Voted
AUIC
2002
IEEE
15 years 9 months ago
Computer-Aided Sketching to Capture Preliminary Design
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
Mark D. Apperley, Beryl Plimmer
WCRE
2000
IEEE
15 years 9 months ago
Applying Traditional Unix Tools during Maintenance: An Experience Report
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...
Arthur Tateishi, Andrew Walenstein
DAGSTUHL
2006
15 years 6 months ago
Face-off: AOP+LMP vs. legacy software
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...
Kris De Schutter, Bram Adams