Sciweavers

2830 search results - page 394 / 566
» No Science without Semantics
Sort
View
ECOOP
2005
Springer
16 years 18 hour ago
Towards Type Inference for JavaScript
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
Christopher Anderson, Paola Giannini, Sophia Dross...
FASE
2005
Springer
16 years 15 hour ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
ICLP
2005
Springer
16 years 3 hour ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
APWEB
2004
Springer
15 years 12 months ago
Template-Based Runtime Invalidation for Database-Generated Web Contents
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...
Chun Yi Choi, Qiong Luo
ECAI
2004
Springer
15 years 12 months ago
Plausibility Structures for Default Reasoning
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
Yves Moinard