786 search results - page 47 / 158 » A static theory of promises |
MDM
2005
Springer
15 years 3 months ago
2005
Springer
Sensor networks are promising unprecedented levels of access to information about the physical world, in real time. Many areas of human activity are starting to see the benefits ...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
PLILP
1994
Springer
15 years 2 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
WM
2003
14 years 11 months ago
2003
: After years of constant progress in developing software tools to support education and training, the focus in eLearning has recently been shifted from the supporting tools toward...