5790 search results - page 600 / 1158 » Distributed programming with distributed authorization |
128
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
135
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
A new computational framework is developed for the evolutionary determination of molecular crystal structures using the Shake-and-Bake methodology. Genetic algorithms are performe...
125
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
174
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
175
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...