Sciweavers

416 search results - page 46 / 84
» The ruby intermediate language
Sort
View
DEBS
2007
ACM
15 years 6 months ago
Temporal order optimizations of incremental joins for composite event detection
Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and acc...
François Bry, Michael Eckert
COORDINATION
2006
Springer
15 years 6 months ago
Evolution On-the-Fly with Paradigm
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
Luuk Groenewegen, Erik P. de Vink
ECOOP
2006
Springer
15 years 6 months ago
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...
Alan Cyment, Nicolas Kicillof, Rubén Altman...
MPC
1995
Springer
116views Mathematics» more  MPC 1995»
15 years 5 months ago
Computer-Aided Computing
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
Natarajan Shankar
100
Voted
ACL
2007
15 years 3 months ago
Machine Translation by Triangulation: Making Effective Use of Multi-Parallel Corpora
Current phrase-based SMT systems perform poorly when using small training sets. This is a consequence of unreliable translation estimates and low coverage over source and target p...
Trevor Cohn, Mirella Lapata