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


CW505
Leslie De Koninck
Mergeable schedules for lazy matching
December 2007
abstract.html / report.pdf (359K) / email to: L. De Koninck

CW504
Ares Lagae, Philip Duté
Time and space efficient grids for ray tracing
November 2007
abstract.html / report.pdf (484K) / email to: A. Lagae

CW503
Sven De Labey and Eric Steegmans
Integrating ServiceJ with The Web Service Invocation Framework
October 2007
abstract.html / report.pdf (509K) / email to: S. Delabey

CW502
Nelis Boucké, Danny Weyns and Tom Holvoet
View relations and composition, and tool support in xADL
October 2007
abstract.html / report.pdf (164K) / email to: N. Boucké

CW501
Koen Buyens, Johan Grégoire, Bart De Win, Riccardo Scandariato, and Wouter Joosen
Similarities and differences between CLASP, SDL, and Touchpoints: the activity-matrix
October 2007
abstract.html / report.pdf (600K) / email to: K. Buyens

CW500
Beata Sarna-Starosta and Tom Schrijvers
Indexing techniques for CHR based on program tranformation
August 2007
abstract.html / report.pdf (202K) / email to: T. Schrijvers

CW499
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
Optimized compilation of CHRrp
August 2007
abstract.html / report.pdf (214K) / email to: L. De Koninck

CW498
Wouter Horré, Nelson Matthys, Sam Michiels, Wouter Joosen, Pierre Verbaeten
A survey of middleware for wireless sensor networks
August 2007
abstract.html / report.pdf (260K) / email to: W. Horré

CW497
Frans Sanen, Ruzanna Chitchyan, Lodewijk Bergmans, Johan Fabry, Mario Sudholt
Workshop proceedings ADI07
July 2007
abstract.html / report.pdf (2.3M) / email to: F. Sanen

CW496
Manh Thang Nguyen, Peter Schneider-Kamp, Danny De Schreye, Jürgen Giesl
Termination analysis of logic programs based on dependency graphs
June 2007
abstract.html / report.pdf (224K) / email to: M.-T. Nguyen

CW495
Dhouha Ayed, Didier Delanote, and Yolande Berbers
MDD approach and evaluation for the development of context-aware applications
June 2007
abstract.html / report.pdf (2.0M) / email to: D. Delanote

CW494
Bart Jacobs, Peter Müller, and Frank Piessens
Sound reasoning about unchecked exceptions: soundness proof
May 2007
abstract.html / report.pdf (390K) / email to: B. Jacobs

CW493
Bart Jacobs and Frank Piessens
Inspector methods for state abstraction: soundness proof
May 2007
abstract.html / report.pdf (402K) / email to: B. Jacobs

CW492
Muath Sabha and Philip Dutré
Feature-based texture synthesis using Voronoi diagrams
May 2007
abstract.html / report.pdf (4.1M) / email to: M. Sabha

CW491
Adriaan Moors, Frank Piessens, Martin Odersky
Parser combinators in Scala
February 2008
abstract.html / report.pdf (324K) / email to: A. Moors

CW490
Daan Fierens, Jan Ramon, Maurice Bruynooghe and Hendrik Blockeel
Learning directed probabilistic logical models: ordering-search versus structure-search
May 2007
abstract.html / report.pdf (248K) / email to: D. Fierens

CW489
Sven De Labey, Geert Delanote, Koen Vanderkimpen, Eric Steegmans
A framework for executing cross-model transformations based on pluggable metamodels
May 2007
abstract.html / report.pdf (1.1M) / email to: S. De Labey

CW488
Daan Fierens, Jan Ramon, Hendrik Blockeel and Maurice Bruynooghe
A comparison of pruning criteria for probability trees
April 2007
abstract.html / report.pdf (350K) / email to: D. Fierens

CW487
Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye
Proving termination of CHR in Prolog: A transformational approach
April 2007
abstract.html / report.pdf (174K) / email to: P. Pilozzi

CW486
Vitor Santos Costa, Bart Demoen, Phuong-Lan Nguyen
Big facts, void variables, the WAM and exo-compilation
April 2007
abstract.html / report.pdf (230K) / email to: B. Demoen

CW485
Thomas Delaet and Wouter Joosen
Survey of configuration management tools
April 2007
abstract.html / report.pdf (203K) / email to: T. Delaet

CW484
Tom Mahieu, Wouter Joosen, Dimitri Van Landuyt, Johan Gregoire, Koen Buyens, Eddy Truyen
System requirements on digital newspapers
March 2007
abstract.html / report.pdf (1.3M) / email to: T. Mahieu

CW483
Hendrik Blockeel and Joaquin Vanschoren
Experiment databases: Towards an improved experimental methodology in machine learning
March 2007
abstract.html / report.pdf (1.8M) / email to: H. Blockeel

CW482
Quan Phan and Gerda Janssens
A proposal for runtime region support for Mercury programs
March 2007
abstract.html / report.pdf (157K) / email to: Q. Phan

CW481
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
Aggregates in CHR
March 2007
abstract.html / report.pdf (285K) / email to: J. Sneyers

CW480
Leslie De Koninck, Tom Schrijvers, and Bart Demoen
The correspondence between the logical algorithms language and CHR
March 2007
abstract.html / report.pdf (266K) / email to: L. De Koninck

CW479
Leslie De Koninck, Tom Schrijvers, and Bart Demoen
CHR-rp: Constraint Handling Rules with rule priorties
March 2007
abstract.html / report.pdf (210K) / email to: L. De Koninck

CW478
Danny Weyns, Nelis Boucké, Tom Holvoet, and Bart Demarsin
DynCNET: A protocol for flexible transport assignment in AGV transportation systems
February 2007
abstract.html / report.pdf (5.3M) / email to: D. Weyns

CW477
Bart De Win, Wouter Joosen, Bert Lagaisse, Frank Piessens, Eddy Truyen, Tine Verhanneman, Kris Verlaenen
Aspect-oriented middleware and a case study on security services
July 2007
abstract.html / report.pdf ( 12M) / email to: B. Lagaisse

CW476
Siegfried Nijssen and Elisa Fromont
Mining optimal decision trees from itemset lattices
March 2007
abstract.html / report.pdf (313K) / email to: E. Fromont

CW475
Koen Buyens, Johan Gregoire, Sam Michiels, Bart De Win, and Wouter Joosen
Results of threat analysis for a publishing system
January 2007
abstract.html / report.pdf (1.0M) / email to: K. Buyens

CW474
Nelis Boucké, Alessandro Garcia, and Tom Holvoet
Composing architectural crosscutting structures in xADL
January 2007
abstract.html / report.pdf (393K) / email to: N. Boucké

CW473
Danny Weyns, Elke Steegmans, Tom Holvoet, Els Helsen, and Koen Deschacht
Delta framework cookbook
January 2007
abstract.html / report.pdf (842K) / email to: D. Weyns