8828 search results - page 1568 / 1766 » Formal methods in practice |
139
click to vote
CJ
2010
15 years 1 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...
130
click to vote
CJ
2010
15 years 1 months ago
2010
Energy efficiency is increasingly important for future information and communication technologies (ICT), because the increased usage of ICT, together with increasing energy costs a...
135
click to vote
COMSIS
2010
15 years 1 months ago
2010
Dimensionality reduction is an important preprocessing step in high-dimensional data analysis without losing intrinsic information. The problem of semi-supervised nonlinear dimensi...
141
click to vote
ELECTRONICMARKETS
2010
15 years 1 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
156
click to vote
ENTCS
2010
15 years 1 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...