626 search results - page 30 / 126 » Towards a Unified Programming Language |
IFIP13
2004
13 years 11 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
UM
2007
Springer
14 years 4 months ago
2007
Springer
WEBDB
2000
Springer
14 years 1 months ago
2000
Springer
The World Wide Web promises to transform human society by making virtually all types of information instantly available everywhere. Two prerequisites for this promise to be realiz...
AIMSA
2000
Springer
14 years 2 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
LICS
1989
IEEE
14 years 1 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...