7504 search results - page 1026 / 1501 » Computing with Action Potentials |
192
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
158
click to vote
TELETRAFFIC
2007
Springer
16 years 1 months ago
2007
Springer
We present an economically efficient framework for provision of essential input for QoS-aware IP network planning. Firstly, we define a process for reuse of network accounting data...
204
click to vote
UCS
2007
Springer
16 years 1 months ago
2007
Springer
Many of today’s proposed RFID privacy schemes rely on the encryption of tag IDs with user-chosen keys. However, password management quickly becomes a bottleneck in such proposals...
170
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
Information Retrieval (IR) is a major component in many of our daily activities, with perhaps its most prominent role manifested in search engines. Today’s most advanced engines...
179
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
The automatic integration of devices into dynamic, automatically configured networks alone does not take advantage of the entire potential of Service Oriented Architectures (SOA)...