1077 search results - page 79 / 216 » Management of Evolving Specifications using Category Theory |
RAID
2001
Springer
14 years 11 days ago
2001
Springer
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...
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
While storytelling has long been recognized as an important part of effective knowledge management in organizations, knowledge management technologies have generally not distingui...
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...