1833 search results - page 102 / 367 » Mechanized Verification with Sharing |
PAKDD
1999
ACM
15 years 5 months ago
1999
ACM
Empirical equations are an important class of regularities that can be discovered in databases. In this paper we concentrate on the role of equations as de nitions of attribute val...
124
click to vote
IEEEPACT
1998
IEEE
15 years 5 months ago
1998
IEEE
Software fine-grain distributed shared memory (FGDSM) provides a simplified shared-memory programming interface with minimal or no hardware support. Originally software FGDSMs tar...
CN
2006
15 years 1 months ago
2006
This paper focuses on the protection of virtual circuits (Label Switched Paths, LSPs) in a (G)MPLS (Generalised Multi-Protocol Label Switching) network. The proposed algorithm is ...
122
click to vote
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Providing air-time guarantees across a group of clients forms a fundamental building block in sharing an access point (AP) across different virtual network providers. Though this p...
112
Voted
HUC
2010
Springer
14 years 11 months ago
2010
Springer
Locaccino is a location sharing application designed to empower users to effectively control their privacy. It has been piloted by close to 2000 users and has been used by researc...