Sciweavers

644 search results - page 44 / 129
» Translation the Wiki way
Sort
View
88
Voted
TIC
1998
Springer
15 years 3 months 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
15 years 3 months 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
15 years 3 months 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
15 years 3 months 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...
89
Voted
ENTCS
2006
135views more  ENTCS 2006»
14 years 11 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...