970 search results - page 71 / 194 » Dynamics and Automaticity of Context: A Cognitive Modeling A... |
118
click to vote
CMSB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
191
click to vote
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
108
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
118
click to vote
CIIA
2009
15 years 2 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
122
click to vote
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...