800 search results - page 116 / 160 » Programming Models for Concurrency and Real-Time |
104
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
125
click to vote
OPODIS
2008
15 years 2 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
120
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
109
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
ICALP
1989
Springer
15 years 5 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...