4211 search results - page 725 / 843 » Types as Abstract Interpretations |
154
click to vote
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Wireless Sensor Networks are characterized by having specific requirements such as limited energy availability, low memory and reduced processing power. On the other hand...
149
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
126
click to vote
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. As a developing P2P system, Gnutella has upgraded its protocol to 0.6, which significantly changed the characteristics of its hosts. However, few previous work has given ...
117
click to vote
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...
125
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...