614 search results - page 21 / 123 » global 2003 |
DEXAW
2003
IEEE
15 years 4 months ago
2003
IEEE
One of the most promising future applications in the domain of mCommerce is the mobile payment. Different approaches come to the market and try to address existing needs, but up t...
APPINF
2003
15 years 13 days ago
2003
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
109
click to vote
WOA
2003
15 years 12 days ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
100
click to vote
LATIN
2004
Springer
15 years 4 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
83
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...