66 search results - page 7 / 14 » A Framework for Component-based Construction Extended Abstra... |
102
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
119
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
102
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
104
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...