118 search results - page 12 / 24 » Branching-Time Property Preservation Between Real-Time Syste... |
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Earlier work on scheduling by autonomous systems has demonstrated that schedules in the form of simple temporal networks, with intervals of values for possible event-times, can be ...
DLT
2007
13 years 11 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
TACAS
2012
Springer
12 years 5 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...