Sciweavers

416 search results - page 46 / 84
» The ruby intermediate language
Sort
View
DEBS
2007
ACM
14 years 19 days 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
14 years 12 days 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
14 years 11 days 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»
14 years 7 days 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
ACL
2007
13 years 10 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