Sciweavers

1138 search results - page 65 / 228
» Talking about concerns
Sort
View
CINQ
2004
Springer
189views Database» more  CINQ 2004»
15 years 5 months ago
Employing Inductive Databases in Concrete Applications
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
Rosa Meo, Pier Luca Lanzi, Maristella Matera, Dani...
ICDCSW
2008
IEEE
15 years 6 months ago
Fast-Converging Distance Vector Routing for Wireless Mesh Networks
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...
Yangcheng Huang, Saleem N. Bhatti
ICECCS
2007
IEEE
118views Hardware» more  ICECCS 2007»
15 years 6 months ago
The AADL behaviour annex - experiments and roadmap
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 ...
Ricardo Bedin França, Jean-Paul Bodeveix, M...
TPHOL
2007
IEEE
15 years 6 months ago
Formalising Generalised Substitutions
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...
Jeremy E. Dawson
74
Voted
ESAS
2007
Springer
15 years 6 months ago
Private Handshakes
—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...
Jaap-Henk Hoepman