577 search results - page 112 / 116 » Engineering Sufficiently Secure Computing |
FOSSACS
2005
Springer
15 years 2 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
77
Voted
FOSSACS
2004
Springer
15 years 2 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
CASCON
1996
14 years 10 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...