Sciweavers

124 search results - page 18 / 25
» Mean value analysis for polling systems
Sort
View
POPL
2011
ACM
14 years 2 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
HICSS
2002
IEEE
98views Biometrics» more  HICSS 2002»
15 years 4 months ago
Empirical Evidence of the Impacts of Electronic Commerce on Supply Chain Integration in the Telecommunication Equipment Industry
This paper presents an analysis of the impacts of electronic commerce on proactive firms in the connectivity equipment industry. Electronic commerce initiatives identified in the ...
Luc Cassivi, Louis A. Lefebvre, Pierre-Majorique L...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 10 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
MR
2007
173views Robotics» more  MR 2007»
14 years 11 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
BMCBI
2008
152views more  BMCBI 2008»
14 years 12 months ago
Predicting biological system objectives de novo from internal state measurements
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
Erwin P. Gianchandani, Matthew A. Oberhardt, Antho...