7099 search results - page 345 / 1420 » Context for models of concurrency |
203
click to vote
SOSP
1989
ACM
15 years 8 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
204
click to vote
IJFCS
2006
15 years 7 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
151
click to vote
MSCS
1998
15 years 7 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
193
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
The REpresentational State Transfer (REST) represents an extensible, easy and elegant architecture for accessing web-based resources. REST alone and in combination with XML is fast...
188
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...