Sciweavers

562 search results - page 57 / 113
» Teaching programming and language concepts using LEGOs
Sort
View
CEFP
2005
Springer
15 years 9 months ago
Generic Editors for the World Wide Web
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
Rinus Plasmeijer, Peter Achten
136
Voted
ICLP
2005
Springer
15 years 9 months ago
OWL: A Description Logic Based Ontology Language
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
Ian Horrocks
132
Voted
EUROPAR
2005
Springer
15 years 9 months ago
Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
Hong Linh Truong, Thomas Fahringer
PADL
2009
Springer
16 years 4 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus
119
Voted
APLAS
2007
ACM
15 years 7 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel