Sciweavers

6343 search results - page 338 / 1269
» Development of a Cartographic Language
Sort
View
ICLP
2007
Springer
16 years 23 days ago
Logic Programming for Knowledge Representation
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski
COMPSEC
2007
52views more  COMPSEC 2007»
15 years 6 months ago
Privacy-preserving programming using sython
— Programmers often have access to confidential data that are not strictly needed for program development. Broad priveleges from accounts given to programmers allow them to view...
Michael Gaiman, Rahul Simha, Bhagirath Narahari
DSL
2009
15 years 4 months ago
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...
Zoé Drey, Julien Mercadal, Charles Consel

Lab
737views
17 years 6 months ago
Resource Aware Programming (RAP)
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
POPL
2008
ACM
16 years 7 months ago
Much ado about two (pearl): a pearl on parallel prefix computation
This pearl develops a statement about parallel prefix computation in the spirit of Knuth's 0-1-Principle for oblivious sorting algorithms. It turns out that 0-1 is not quite ...
Janis Voigtländer