1301 search results - page 190 / 261 » Specifications via Realizability |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper we present a technique for improving the location performance based on the Global Positioning System (GPS) for networks of nodes in harsh environments and demonstr...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
There may be limited resources for local government website designers to devote to innovative design. This study investigated current technology use by local government (Town of B...
RSP
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
Bluetooth is a wireless specification delivering short-range radio communication between electronic devices that are equipped with specialized Bluetooth chips. It lets nearly all ...