9067 search results - page 1668 / 1814 » Adaptive Model Checking |
170
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
198
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
172
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
159
click to vote
MM
1995
ACM
15 years 10 months ago
1995
ACM
The current model for multicast transmission of video over the Internet assumes that a fixed average bandwidth is uniformly present throughout the network. Consequently, sources ...
186
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...