4934 search results - page 644 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
129
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
The sciences, business confederations, and medicine urgently need infrastructure for sharing data and updates among collaborators' constantly changing, heterogeneous databases...
140
Voted
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a specification for a new, localized group membership service that maintains the membership status of adjacent nodes – called neighbors – in a mobile distributed s...
140
Voted
SOSP
2003
ACM
16 years 17 days ago
2003
ACM
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...
128
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
154
Voted
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....