Sciweavers

264 search results - page 52 / 53
» entcs 2008
Sort
View
ENTCS
2008
142views more  ENTCS 2008»
13 years 6 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
ENTCS
2008
101views more  ENTCS 2008»
13 years 6 months ago
Hedaquin: A Reputation-based Health Data Quality Indicator
A number of applications based on personal health records (PHRs) are emerging in the field of health care and wellness. PHRs empower patients by giving them control over their hea...
Ton van Deursen, Paul Koster, Milan Petkovic
ENTCS
2008
146views more  ENTCS 2008»
13 years 6 months ago
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
Michael J. A. Smith
ENTCS
2008
88views more  ENTCS 2008»
13 years 6 months ago
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
Claudia Ermel, Hartmut Ehrig
ENTCS
2008
73views more  ENTCS 2008»
13 years 6 months ago
Oracle-Based Partial Evaluation
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...
Claudio Ochoa, Germán Puebla