3533 search results - page 390 / 707 » Information theory and Thermodynamics |
158
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
211
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
147
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
130
click to vote
LOCA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
164
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...