2239 search results - page 311 / 448 » Computing with abstract matrix structures |
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. To make effective use of distributed information, it is desirable to allow coordination and collaboration among various information sources. This paper deals with cluster...
109
Voted
FIDJI
2003
Springer
15 years 3 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
GCC
2003
Springer
15 years 3 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
IPTPS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...
TAMC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...