6300 search results - page 1065 / 1260 » We have it easy, but do we have it right |
114
click to vote
EWSN
2010
Springer
15 years 10 months ago
2010
Springer
The simplicity and low-overhead of random walks have made them a popular querying mechanism for Wireless Sensor Networks. However, most of the related work is of theoretical nature...
115
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
122
click to vote
DFT
2006
IEEE
15 years 7 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
ICPP
2005
IEEE
15 years 7 months ago
2005
IEEE
The existing searching schemes in Peer-to-Peer (P2P) networks are either forwarding-based or non-forwarding based. In forwarding-based schemes, queries are forwarded from the quer...