2979 search results - page 229 / 596 » Computation and the Periodic Table |
180
click to vote
MDM
2005
Springer
16 years 4 days ago
2005
Springer
Synchronization performance is a major problem with intermittently connected mobile databases. A server periodically generates update files for each client, which are downloaded ...
191
click to vote
EUROPAR
2004
Springer
16 years 1 days ago
2004
Springer
We propose an architecture that consists of a ring of clusters for distributed mutual exclusion algorithms in mobile networks. The mobile network is partitioned into a number of cl...
159
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...
175
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
141
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. GraphAEL extracts three types of evolving graphs from the Graph Drawing literature and creates 2D and 3D animations of the evolutions. We study citation graphs, topic gra...