1159 search results - page 193 / 232 » Adding Concurrency to a Programming Language |
ICALP
1994
Springer
15 years 1 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
ENTCS
2002
14 years 9 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
102
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...