16518 search results - page 344 / 3304 » A New Approach to Splitting-Off |
179
click to vote
FORTE
1993
15 years 8 months ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...
191
click to vote
MP
2008
15 years 6 months ago
2008
The simplex algorithm computes the simplex multipliers by solving a system (or two triangular systems) at each iteration. This note offers an efficient approach to updating the sim...
179
Voted
KI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we describe a time management approach to distributed agent-based simulation. We propose a new time management policy by joining optimistic synchronization techniques...
191
Voted
KBS
2007
15 years 6 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
285
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The popularity of high-density flash memory as data storage media has increased steadily for a wide spectrum of computing devices such as PDA's, MP3 players, mobile phones an...