8828 search results - page 1710 / 1766 » Formal methods in practice |
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— Energy of Wheeled Mobile Robot (WMR) is usually supplied by batteries with finite energy. In order to extend run-time of battery-powered WMR, it is necessary to minimize the e...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— In wireless sensor networks (WSNs), sensor location plays a critical role in many applications. Having a GPS receiver on every sensor node is costly. In the past, a number of l...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— The localization problem is to determine an assignment of coordinates to nodes in a wireless ad-hoc or sensor network that is consistent with measured pairwise node dis...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...