Sciweavers

346 search results - page 6 / 70
» Interaction Nets
Sort
View
BMCBI
2007
202views more  BMCBI 2007»
14 years 9 months ago
ProtNet: a tool for stochastic simulations of protein interaction networks dynamics
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...
Massimo Bernaschi, Filippo Castiglione, Alessandra...
IEEEVAST
2010
14 years 4 months ago
NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
Zhicheng Liu, Bongshin Lee, Srikanth Kandula, Ratu...
DFN
2009
14 years 11 months ago
Interactive Analysis of NetFlows for Misuse Detection in Large IP Networks
: While more and more applications require higher network bandwidth, there is also a tendency that large portions of this bandwidth are misused for dubious purposes, such as unauth...
Florian Mansmann, Fabian Fischer, Daniel A. Keim, ...
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 4 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
BPM
2003
Springer
92views Business» more  BPM 2003»
15 years 1 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork