1710 search results - page 177 / 342 » Parallelism in Structured Newton Computations |
ICDCS
2002
IEEE
15 years 3 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
CONCUR
2001
Springer
15 years 2 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...
109
Voted
EDOC
2000
IEEE
15 years 2 months ago
2000
IEEE
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
ICPPW
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper we present a technique for reducing response delay for web systems, which is based on a proactive cache scheme. It combines predictive pre-fetching and streaming to ...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...