Sciweavers

10718 search results - page 671 / 2144
» On the Circuit Implementation Problem
Sort
View
153
Voted
AIED
2005
Springer
16 years 1 months ago
EarthTutor: A Multi-Layered Approach to ITS Authoring
This paper presents the EarthTutor authoring tool, a multi-layered system designed to remove the technical hurdles preventing teachers from having full control over the structure o...
Kristen Parton, Aaron Bell, Sowmya Ramachandran
CSCLP
2005
Springer
16 years 1 months ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
Thom W. Frühwirth
ECOOP
2005
Springer
16 years 1 months ago
Expressive Pointcuts for Increased Modularity
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
Klaus Ostermann, Mira Mezini, Christoph Bockisch
FASE
2005
Springer
16 years 29 days ago
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
Arjan J. Mooij, Nicolae Goga, Judi Romijn
SEMWEB
2005
Springer
16 years 28 days ago
Gnowsis Adapter Framework: Treating Structured Data Sources as Virtual RDF Graphs
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
Leo Sauermann, Sven Schwarz