443 search results - page 21 / 89 » Relations in Concurrency |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
CORR
2011
Springer
13 years 17 days ago
2011
Springer
With the recent technological feasibility of electronic commerce over the Internet, much attention has been given to the design of electronic markets for various types of electron...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
SSD
2001
Springer
14 years 1 months ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
JFP
2000
13 years 8 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...