Sciweavers

2017 search results - page 348 / 404
» Distributional Semantics in Technicolor
Sort
View
CONCUR
2007
Springer
16 years 3 days ago
Asynchronous Games: Innocence Without Alternation
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
Paul-André Melliès, Samuel Mimram
DCOSS
2007
Springer
16 years 3 days ago
A Compilation Framework for Macroprogramming Networked Sensors
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor ...
OOPSLA
2007
Springer
16 years 2 days ago
Detection and correction of design defects in object-oriented designs
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
Naouel Moha
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
16 years 1 days ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
SERA
2007
Springer
16 years 1 days ago
Runtime Support for Advanced Component Concepts
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
Tomás Bures, Petr Hnetynka, Frantisek Plasi...