1959 search results - page 115 / 392 » Concerned About Separation |
162
click to vote
ICDCSW
2008
IEEE
15 years 10 months ago
2008
IEEE
A major concern about distance-vector routing protocols for wireless mesh networks is its slow convergence in the presence of link changes, which can potentially degrade network s...
127
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
128
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
115
click to vote
ESAS
2007
Springer
15 years 10 months ago
2007
Springer
—Nowadays, users are increasingly concerned about individual privacy in cyberspace and Internet. In this paper, we propose the concept of private handshakes with optional account...
128
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Though music is fundamentally an aural phenomenon, we often communicate about music through visual means. The paper examines a number of visualization techniques developed for mus...