1959 search results - page 115 / 392 » Concerned About Separation |
186
Voted
ICDCSW
2008
IEEE
16 years 15 days 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...
158
click to vote
ICECCS
2007
IEEE
16 years 11 days 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 ...
160
click to vote
TPHOL
2007
IEEE
16 years 10 days 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...
141
Voted
ESAS
2007
Springer
16 years 7 days 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...
147
click to vote
ISMIR
2005
Springer
15 years 11 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...