Home > Publications > Reports > Informatics (CW) > 2004


CW397
Davy Preuveneers, Yolande Berbers
A component-based approach for managing context information
December 2004
abstract.html / report.pdf (851K) / email to: D. Preuveneers

CW396
Jon Sneyers, Tom Schrijvers, and Bart Demoen
Guard simplification in CHR programs
November 2004
abstract.html / report.pdf (241K) / email to: J. Sneyers

CW395
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe and Francky Catthoor
Experiences with enumeration of integer projections of parametric polytopes
October 2004
abstract.html / report.pdf (300K) / email to: S. Verdoolaege

CW394
Ares Lagae, Philip Dutré
An efficient ray-quadrilateral intersection test
October 2004
abstract.html / report.pdf (1.0M) / email to: A. Lagae

CW393
Frederik Anrys, Philip Dutré
Lighting design by simulated annealing
September 2004
abstract.html / report.pdf (1.4M) / email to: F. Anrys

CW392
Sven Verdoolaege, Kevin M. Woods, Maurice Bruynooghe and Ronald Cools
Computation and manipulation of enumerators of integer projections of parametric polytopes
March 2005
abstract.html / report.pdf (1.2M) / email to: S. Verdoolaege

CW391
Gregory J. Duck, Tom Schrijvers, Peter J. Stuckey
An abstract interpretation framework for constraint handling rules
September 2004
abstract.html / report.ps (690K) / email to: T. Schrijvers

CW390
Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
Learning (k,1)-contextual tree languages for information extraction
September 2004
abstract.html / report.pdf (171K) / email to: S. Raeymaekers

CW389
Tom Schrijvers and Thom Fruehwirth
Implementing and Analysing Union-Find in CHR
July 2004
abstract.html / report.pdf (230K) / email to: T. Schrijvers

CW388
Bart De Win and Wouter Joosen
Towards a contract notion for aspects: composition contracts
Cancelled
abstract.html / email to: B. De Win

CW387
Bart De Win, Viren Shah, Wouter Joosen and Ron Bodkin
Report of the AOSD2004 workshop on AOSD technology for application-level security (AOSDSEC)
June 2005
abstract.html / report.pdf (3.6M) / email to: B. De Win

CW386
Yves Younan, Wouter Joosen, Frank Piessens
Code injection in C and C++: a survey of vulnerabilities and countermeasures
July 2004
abstract.html / report.pdf (709K) / email to: Y. Younan

CW385
Tom Schrijvers, Bart Demoen
Antimonotony-based delay avoidance for CHR
July 2004
abstract.html / report.pdf (168K) / email to: T. Schrijvers

CW384
Tom De Wolf, Tom Holvoet
Emergence as a general architecture for distributed autonomic computing
January 2004
abstract.html / report.pdf (110K) / email to: T. De Wolf

CW383
Maurice Bruynooghe, Michael Codish, Samir Genaim, and Wim Vanhoof
A Note on the reuse of the results of a termination analysis based on polymorphic types
September 2003
abstract.html / report.pdf (159K) / email to: M. Bruynooghe

CW382
Frederik Anrys and Phil Dutré
Image based lightning design
April 2004
abstract.html / report.pdf (462K) / email to: F. Anrys

CW381
Ares Lagae, Olivier Dumont, Philip Dutré
Geometry Synthesis
March 2004
abstract.html / report.pdf (543K) / email to: A. Lagae

CW380
Tom De Wolf, Tom Holvoet, and Yolande Berbers
Emergence as a Paradigm to Engineer Distributed Autonomic Software
March 2004
abstract.html / report.pdf (186K) / email to: T. De Wolf

CW379
Tom Schrijvers, Bart Demoen
JmmSolve: a generative reference implementation of CCM Machines
January 2004
abstract.html / report.pdf (152K) / email to: T. Schrijvers

CW378
Sam Michiels, Lieven Desmet, Pierre Verbaeten
A DiPS+ Case Study: A Self-healing RADIUS Server
February 2004
abstract.html / report.pdf (869K) / email to: S. Michiels

CW377
Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel
Compact representation of knowledge bases in inductive logic programming
May 2004
abstract.html / report.pdf (441K) / email to: J. Struyf

CW376
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Rachid Seghir, Vincent Loechner
Analytical Computation of Ehrhart Polynomials and its Applications for Embedded Systems
January 2004
abstract.html / report.pdf (192K) / email to: S. Verdoolaege