21910 search results - page 4001 / 4382 » The virtual network system |
242
click to vote
JFP
2010
15 years 6 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
189
click to vote
JOCN
2010
15 years 6 months ago
2010
■ Is morphology a discrete and independent element of lexical structure or does it simply reflect a fine-tuning of the system to the statistical correlation that exists among or...
215
Voted
OTM
2010
Springer
15 years 6 months ago
2010
Springer
In tuple space approaches to context-aware mobile systems, the notion of context is defined by the presence or absence of certain tuples in the tuple space. Existing approaches de...
188
click to vote
SIAMCO
2010
15 years 6 months ago
2010
A parallel splitting method is proposed for solving systems of coupled monotone inclusions in Hilbert spaces, and its convergence is established under the assumption that solutions...
196
click to vote
SSS
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we present new distributed protocols to color even rings and general bipartite graphs. Our motivation is to provide algorithmic explanation for human subject experime...