1446 search results - page 225 / 290 » Formal analysis of hardware requirements |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Knowledge of the up-to-date physical (i.e., layer-2) topology of an Ethernet network is crucial to a number of critical network management tasks, including reactive and proacti...
SRDS
2003
IEEE
14 years 1 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
3DPVT
2002
IEEE
14 years 1 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
MDM
2010
Springer
14 years 25 days ago
2010
Springer
Abstract—Location obfuscation using cloaking regions preserves location anonymity by hiding the true user among a set of other equally likely users. Furthermore, a cloaking regio...