4385 search results - page 84 / 877 » Abstraction for Concurrent Objects |
105
click to vote
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
CSL
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
CSSE
2008
IEEE
15 years 24 days ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
102
click to vote
ESORICS
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. With outsourcing emerging as a successful paradigm for delegating data and service management to third parties, the problem of guaranteeing proper privacy protection agai...
APN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...