1054 search results - page 116 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
135
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
137
click to vote
CCE
2008
15 years 4 months ago
2008
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
159
click to vote
ESWA
2006
15 years 4 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
152
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
154
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...