44 search results - page 2 / 9 » Refinement Semantics and Loop Rules |
FMSB
2008
13 years 7 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
FORTE
2001
13 years 7 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
FASE
2009
Springer
13 years 9 months ago
2009
Springer
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
ICANN
2003
Springer
13 years 11 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...
FTRTFT
1994
Springer
13 years 10 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...