5475 search results - page 303 / 1095 » Model Driven Security |
176
click to vote
ENGL
2008
15 years 6 months ago
2008
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
161
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
146
click to vote
VC
2010
15 years 5 months ago
2010
We report on a light-field display based virtual environment enabling multiple naked-eye users to perceive detailed multi-gigavoxel volumetric models as floating in space, respon...
183
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
149
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...