7861 search results - page 1426 / 1573 » Orthographic Modeling Environment |
186
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
136
click to vote
IJEB
2010
15 years 5 months ago
2010
: E-marketplaces present a business-to-business (B2B) trading environment in which firms can benefit from increased choice among trading partners, and other efficiencies gained thr...
202
click to vote
IJRR
2010
15 years 5 months ago
2010
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
166
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...
146
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...