1855 search results - page 107 / 371 » System Consequence |
149
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
188
click to vote
ACMSE
2009
ACM
15 years 4 months ago
2009
ACM
It is getting harder to extract useful information from the enormous amount of data that is being collected in the medical information systems or eHealth systems due to the distri...
122
click to vote
FOSSACS
2010
Springer
16 years 29 days ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
149
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
190
click to vote
CAINE
2007
15 years 7 months ago
2007
Biologically focused, agent-based models need many parameters in order to simulate system dynamics. It is often essential to explore the consequences of many parameter vectors bef...