Sciweavers

1312 search results - page 127 / 263
» Embedded contract languages
Sort
View
FDL
2006
IEEE
15 years 9 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 8 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
119
Voted
ECRTS
1999
IEEE
15 years 7 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
MA
2000
Springer
125views Communications» more  MA 2000»
15 years 6 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh
216
Voted
ICDE
2000
IEEE
120views Database» more  ICDE 2000»
16 years 4 months ago
Deflating the Dimensionality Curse Using Multiple Fractal Dimensions
Nearest neighbor queries are important in many settings, including spatial databases (Find the k closest cities) and multimedia databases (Find the k most similar images). Previou...
Bernd-Uwe Pagel, Flip Korn, Christos Faloutsos