Sciweavers

2135 search results - page 235 / 427
» An Operational Semantics for JavaScript
Sort
View
100
Voted
COLING
1996
15 years 4 months ago
Focus and Higher-Order Unification
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
Claire Gardent, Michael Kohlhase
USENIX
1994
15 years 4 months ago
SNP: An Interface for Secure Network Programming
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su...
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 3 months ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
TSE
2008
111views more  TSE 2008»
15 years 3 months ago
Effective Software Merging in the Presence of Object-Oriented Refactorings
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...
Danny Dig, Kashif Manzoor, Ralph E. Johnson, Tien ...
IJAR
2010
70views more  IJAR 2010»
15 years 1 months ago
Granular computing applied to ontologies
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
Silvia Calegari, Davide Ciucci