Sciweavers

2806 search results - page 419 / 562
» BML and Related Tools
Sort
View
ECIS
2003
15 years 8 months ago
Development of a security methodology for cooperative information systems: the cooPSIS project
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
Mariagrazia Fugini, Mario Mezzanzanica
MSV
2004
15 years 7 months ago
Correctness Criteria for Models' Validation- A Philosophical Perspective
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
Ijeoma Sandra Irobi, Johan Andersson, Anders Wall
FORTE
2003
15 years 7 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
PARMA
2004
174views Database» more  PARMA 2004»
15 years 7 months ago
Fuzzy Miner - A Fuzzy System for Solving Pattern Classification Problems
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
Nikos Pelekis, Babis Theodoulidis, Ioannis Kopanak...
IADIS
2003
15 years 7 months ago
Using Combined Markov Chains to Predict WWW Navigation Paths
The Internet network provides access to several hundreds of million sites and expands at a rate of a million pages a day. Yet, given the rapid and anarchical nature of its evoluti...
Y. Hafri