828 search results - page 80 / 166 » Global Software Enterpreneurship |
186
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
143
click to vote
SIAMAM
2011
15 years 27 days ago
2011
We consider an isolated system of N immiscible fluids, each following a stiffened-gas equation of state. We consider the problem of calculating equilibrium states from the conser...
175
click to vote
SIAMJO
2011
15 years 27 days ago
2011
Abstract. The condition number of a Gram matrix defined by a polynomial basis and a set of points is often used to measure the sensitivity of the least squares polynomial approxim...
194
click to vote
SIAMJO
2011
15 years 12 days ago
2011
We present a class of inexact adaptive multilevel trust-region SQP-methods for the efficient solution of optimization problems governed by nonlinear partial differential equations...
166
click to vote
ECSCW
2011
14 years 5 months ago
2011
Cooperation and collaboration are generally an inherent part of everyday practice, and particularly among nurses. However, the technologies that support these practices are still i...