742 search results - page 79 / 149 » Set-based Concurrent Engineering |
110
click to vote
EUROMICRO
2004
IEEE
15 years 6 months ago
2004
IEEE
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
133
click to vote
EDBTW
2006
Springer
15 years 6 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...
118
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
140
click to vote
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
107
Voted
FSTTCS
2000
Springer
15 years 6 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...