2485 search results - page 272 / 497 » Enabling Simulation Interoperability |
138
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
111
click to vote
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
Navigation of a car-like robot in environments with unknowns requires effective on-line planning of nonholonomic trajectories. We propose a set of basic maneuver patterns based on ...
108
click to vote
ICUMT
2009
15 years 1 months ago
2009
Structured peer-to-peer systems--also known as key-based routing protocols--offer a base for a broad range of applications. In the past, different topology adaptation mechanisms fo...
110
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
146
click to vote
TWC
2011
14 years 10 months ago
2011
—We consider a scenario where multiple pairs of users exchange information within pair with the help of a dedicated multi-antenna relay. The co-channel interference among multipl...