8266 search results - page 1270 / 1654 » Information About the Journal |
150
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
As the network technology has been developed, the Next Generation Internet (NGI) such as Internet2, KOREN, KREONET2 and etc has been deployed to support bandwidth of Giga bps. And,...
198
click to vote
CAV
2004
Springer
15 years 10 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...
197
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
A fundamental problem that confronts future applications of sensor networks is how to efficiently locate the sensor node that stores a particular data item. It is known that distr...
179
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In Autonomic Computing, an application needs to be aware of its environment. While the term "environment" is not normally understood as being a physical environment, in ...
198
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...