2409 search results - page 298 / 482 » Logical systems for structured specifications |
144
click to vote
LISP
2008
15 years 4 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
140
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
156
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
174
click to vote
WER
2004
Springer
15 years 9 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
147
click to vote
INTERACT
2003
15 years 5 months ago
2003
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...