Sciweavers

238 search results - page 37 / 48
» A Collection Operator for Graph Transformation
Sort
View
SCP
1998
112views more  SCP 1998»
13 years 7 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
PLDI
2006
ACM
14 years 1 months ago
SAFECode: enforcing alias analysis for weakly typed languages
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
ECEASST
2008
67views more  ECEASST 2008»
13 years 7 months ago
Sharing OCL Constraints by Using Web Rules
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a sta...
Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...
TIM
2011
108views more  TIM 2011»
13 years 2 months ago
A Low-Cost Method for Measuring Surface Currents and Modeling Drifting Objects
—The ability to measure and model water currents is essential to ensure the safety and correct operations of many water surface activities. For example, the complex currents in h...
Huang-Chen Lee, Chun-Yu Lin, Chun-Han Lin, Sheng-W...
VLDB
2007
ACM
129views Database» more  VLDB 2007»
14 years 1 months ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu