1256 search results - page 64 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
146
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
124
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
A crucial feature of evolving natural systems is parallelism. The simultaneous and distributed application of rules (governed by e.g. biochemistry) is generally considered as the p...
131
click to vote
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
140
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
149
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...