190 search results - page 11 / 38 » Dynamic Control Operators in Type Theory |
ECHT
1992
13 years 10 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
IM
1997
13 years 8 months ago
1997
This paper presents a novel approach to the control and management of ATM networks, by allowing di erent control architectures to be operational within the same network, and on th...
SIGMOD
2012
ACM
11 years 9 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
IJCNN
2006
IEEE
14 years 22 days ago
2006
IEEE
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...
APLAS
2006
ACM
14 years 21 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...