Sciweavers

644 search results - page 44 / 129
» Translation the Wiki way
Sort
View
TIC
1998
Springer
14 years 5 days ago
Polymorphic Equality - No Tags Required
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
Martin Elsman
ECOOP
1997
Springer
14 years 4 days ago
Feature-Oriented Programming: A Fresh Look at Objects
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
Christian Prehofer
COMPGEOM
1994
ACM
14 years 2 days ago
Matching Shapes with a Reference Point
For two given point sets, we present a very simple (almost trivial) algorithm to translate one set so that the Hausdor distance between the two sets is not larger than a constant ...
Helmut Alt, Oswin Aichholzer, Günter Rote
AIME
2007
Springer
14 years 2 hour ago
Maintaining Formal Models of Living Guidelines Efficiently
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
Andreas Seyfang, Begoña Martínez-Sal...
ENTCS
2006
135views more  ENTCS 2006»
13 years 8 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...