188 search results - page 12 / 38 » Abstract Machines, Control, and Sequents |
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Kinodynamic planning algorithms have the potential to find feasible control trajectories which accomplish a task even in very nonlinear or constrained dynamical system...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
ICDCSW
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
COMPSAC
2009
IEEE
13 years 9 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...