Sciweavers

2656 search results - page 200 / 532
» A general purpose animator
Sort
View
ATAL
2007
Springer
16 years 25 days ago
Demand side management in district heating systems
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
Fredrik Wernstedt, Paul Davidsson, Christian Johan...
GECCO
2007
Springer
152views Optimization» more  GECCO 2007»
16 years 25 days ago
Analysing evolvable cell design for optimisation of routing options
Evolution of analogue circuitry on a cell based system can benefit from the use of a generic cell design. A comparative analysis of the re-routing ability of two different cell ...
Daniel M. Ellin, Stuart J. Flockton
OTM
2007
Springer
16 years 24 days ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
SEMWEB
2007
Springer
16 years 23 days ago
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment
Despite the efforts devoted so far, the Semantic Web vision appears to be an eluding target. We propose a paradigm shift for the Semantic Web centred around the pragmatics of deve...
Carlos Pedrinaci, Tim Smithers, Amaia Bernaras
SIGADA
2007
Springer
16 years 23 days ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau