1346 search results - page 171 / 270 » Alternating-time dynamic logic |
166
click to vote
ICTAI
1997
IEEE
15 years 9 months ago
1997
IEEE
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...
153
click to vote
ECOOPW
1997
Springer
15 years 9 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
162
click to vote
ESCIENCE
2007
IEEE
15 years 9 months ago
2007
IEEE
Data sources, storage, computing resources and services are entities on Grids that require mechanisms for publication and lookup. A discovery service relies on efficient lookup to...
151
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
202
click to vote
HLPPP
1991
15 years 9 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...