Sciweavers

24368 search results - page 490 / 4874
» Distributed Computing Economics
Sort
View
CONCUR
2008
Springer
15 years 9 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CONCUR
2008
Springer
15 years 9 months ago
Quasi-Static Scheduling of Communicating Tasks
Philippe Darondeau, Blaise Genest, P. S. Thiagaraj...
CONCUR
2008
Springer
15 years 9 months ago
Normed BPA vs. Normed BPP Revisited
Petr Jancar, Martin Kot, Zdenek Sawa
CONCUR
2008
Springer
15 years 9 months ago
A Rule Format for Associativity
Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Re...
COORDINATION
2008
Springer
15 years 9 months ago
A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco T...