9067 search results - page 1779 / 1814 » Adaptive Model Checking |
131
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
111
click to vote
CIA
1999
Springer
15 years 6 months ago
1999
Springer
When we communicate with others in a most primitive way like face-to-face conversation, we normally gather at a common physical place. This physical constraint has been recognized ...
179
click to vote
KIVS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
126
click to vote
MMB
1999
Springer
15 years 6 months ago
1999
Springer
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
135
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
We consider the problem of nding rules relating patterns in a time series to other patterns in that series, or patterns in one series to patterns in another series. A simple examp...