Sciweavers

935 search results - page 133 / 187
» On Graph Based Interaction for Semantic Query Languages
Sort
View
AOSD
2010
ACM
14 years 1 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts
ICFP
2001
ACM
14 years 8 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
MOBIDE
2006
ACM
14 years 2 months ago
Boosting location-based services with a moving object database engine
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
Nikos Pelekis, Yannis Theodoridis
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 9 months ago
Building Scenarios for Environmental Management and Planning: An IT-Based Approach
Oftentimes, the need to build multidiscipline knowledge bases, oriented to policy scenarios, entails the involvement of stakeholders in manifold domains, with a juxtaposition of d...
Dino Borri, Domenico Camarda
ICFP
2005
ACM
14 years 8 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett