1855 search results - page 107 / 371 » System Consequence |
129
Voted
FM
2006
Springer
15 years 7 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...
147
Voted
ACMSE
2009
ACM
15 years 1 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...
97
Voted
FOSSACS
2010
Springer
15 years 10 months 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...
124
Voted
EDOC
2003
IEEE
15 years 9 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...
154
Voted
CAINE
2007
15 years 5 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...