Sciweavers

2830 search results - page 394 / 566
» No Science without Semantics
Sort
View
217
Voted
ECOOP
2005
Springer
16 years 15 days 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...
184
Voted
FASE
2005
Springer
16 years 15 days 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
190
Voted
ICLP
2005
Springer
16 years 15 days 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
162
Voted
APWEB
2004
Springer
16 years 11 days 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
192
Voted
ECAI
2004
Springer
16 years 11 days 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