190 search results - page 6 / 38 » Dynamic Control Operators in Type Theory |
LISP
2002
13 years 6 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
IJCNN
2006
IEEE
14 years 22 days ago
2006
IEEE
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
We consider a manufacturing plant that purchases raw materials for product assembly and then sells the final products to customers. There are M types of raw materials and K types o...
IJIT
2004
13 years 8 months ago
2004
The development of control system for the dynamic processes characterizing uncertainties needs the creating of the proper knowledge base for the controller. In this paper, to solve...
ACSAC
2001
IEEE
13 years 10 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...