4400 search results - page 318 / 880 » A proposal for parallel self-adjusting computation |
160
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
168
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
150
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Jini is a technology for building reliable, fault-tolerant distributed applications. Besides offering an infrastructure for clients to locate services, it introduces the concept o...
153
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
The performance potential of a value reuse mechanism depends on its reuse detection time, the number of reuse opportunities, and the amount of work saved by skipping each reuse un...
142
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...