1206 search results - page 181 / 242 » Concurrent Abstract Predicates |
120
Voted
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
83
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
93
Voted
POS
2000
Springer
15 years 4 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
APSEC
1995
IEEE
15 years 4 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...