386 search results - page 69 / 78 » Debugging Logic Programs Using Specifications |
HT
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
TCS
2002
13 years 9 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...