9267 search results - page 1637 / 1854 » Expectation-Oriented Analysis and Design |
164
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
186
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...
162
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we report the results of a pilot study designed to evaluate the impact of signs as navigation aids in virtual worlds. Test subjects were divided into three groups (...
183
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Balancing energy consumption and prolonging network lifetime are open challenges in Wireless Sensor Networks. In this paper, we design a novel load balanced routing pro...
159
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, focusing on multihop decode-andforward cooperative networks, a hop-by-hop routing strategy is designed to optimize the end-to-end outage performance when...