511 search results - page 35 / 103 » Finite System Composition and Interaction |
SAM
2004
13 years 10 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
CSFW
2004
IEEE
14 years 15 days ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
ALIFE
2005
13 years 8 months ago
2005
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...