4211 search results - page 568 / 843 » Types as Abstract Interpretations |
156
click to vote
CASSIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...
162
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
168
click to vote
ESAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper explores the design space for message authentication in sensor networks. Several types of authentication are put into relation: end-to-end, hop-to-hop, and phy...
180
click to vote
EUSAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
144
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...