Sciweavers

7059 search results - page 1096 / 1412
» Bayesian network management
Sort
View
CSCWD
2001
Springer
16 years 18 hour ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan
218
Voted
RAID
2001
Springer
15 years 12 months ago
Probabilistic Alert Correlation
With the growing deployment of host and network intrusion detection systems, managing reports from these systems becomes critically important. We present a probabilistic approach t...
Alfonso Valdes, Keith Skinner
DSN
2000
IEEE
15 years 12 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
184
Voted
SC
2000
ACM
15 years 12 months ago
MPICH-GQ: Quality-of-Service for Message Passing Programs
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
Alain J. Roy, Ian T. Foster, William Gropp, Nichol...
ELPUB
1999
ACM
15 years 12 months ago
INDRENI - The Nepali Intranet. A Platform for Electronic Publishing and Information Sharing in Nepal
This paper describes the establishment of an intranet programme, ’Indreni’ , in Nepal. The article commences with a briefing on the state of telecommunications in developing cou...
Gaurab Raj Upadhaya
« Prev « First page 1096 / 1412 Last » Next »