392 search results - page 3 / 79 » Towards IEEE 802.15.4e: A study of performance aspects |
COMPSAC
2006
IEEE
14 years 10 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
VR
2010
IEEE
13 years 29 days ago
2010
IEEE
We introduce a new technique of haptic guidance, for navigation and control of applications in virtual environments. We haptically simulate the collisions of the pointer with the ...
ICMCS
2007
IEEE
14 years 17 days ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
DATE
2010
IEEE
13 years 4 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
TMC
2008
13 years 6 months ago
2008
Under a multirate network scenario, the IEEE 802.11 DCF MAC fails to provide airtime fairness for all competing stations since the protocol is designed for ensuring max-min through...