12981 search results - page 2231 / 2597 » Model Checking (Abstract) |
125
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
152
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...
135
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We present a method for performing mode classification of real-time streams of GPS surface position data. Our approach has two parts: an algorithm for robust, unconstr...
162
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. The rapid growth in the amount of XML data and the development of publish-subscribe systems have led to great interest in processing streaming XML data. We propose the Qs...
147
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Peer-to-Peer (P2P) systems provide decentralization, self-organization, scalability and failure-resilience, but suffer from high worst-case latencies. Researchers have ...