2261 search results - page 325 / 453 » Relationships Between Models of Concurrency |
182
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
226
click to vote
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
193
click to vote
DAIS
2003
15 years 8 months ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
203
click to vote
APCCM
2009
15 years 8 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
207
click to vote
CSFW
2012
IEEE
13 years 9 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...