Sciweavers

850 search results - page 117 / 170
» Globalization and Offshoring of Software
Sort
View
COMPUTER
2004
100views more  COMPUTER 2004»
15 years 3 months ago
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bra...
SEE
2010
Springer
15 years 2 months ago
The Social Nature of Engineering and its Implications for Risk Taking
Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions...
Allison Ross, Nafsika Athanassoulis
FSTTCS
2010
Springer
15 years 2 months ago
Model checking time-constrained scenario-based specifications
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 ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
SIAMAM
2011
14 years 11 months ago
On Solutions to Equilibrium Problems for Systems of Stiffened Gases
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...
Tore Flåtten, Alexandre Morin, Svend Tollak ...
SIAMJO
2011
14 years 11 months ago
Minimizing the Condition Number of a Gram Matrix
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...
Xiaojun Chen, Robert S. Womersley, Jane J. Ye