1605 search results - page 230 / 321 » An XML implementation process model for enterprise applicati... |
211
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
169
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
185
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
150
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
170
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...