Sciweavers

3554 search results - page 572 / 711
» Estimating software based on use case points
Sort
View
SJ
2011
15 years 1 months ago
Analyzing the Resilience of Complex Supply Network Topologies Against Random and Targeted Disruptions
—In this paper, we study the resilience of supply networks against disruptions and provide insights to supply chain managers on how to construct a resilient supply network from t...
Kang Zhao, Akhil Kumar, Terry P. Harrison, John Ye...
SEAA
2008
IEEE
16 years 22 days ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
ICFEM
2007
Springer
15 years 10 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
UIST
1991
ACM
15 years 9 months ago
On temporal-spatial realism in the virtual reality environment
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
Jiandong Liang, Christopher D. Shaw, Mark Green
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
Empirical study of supervised gene screening
Background: Microarray studies provide a way of linking variations of phenotypes with their genetic causations. Constructing predictive models using high dimensional microarray me...
Shuangge Ma