Sciweavers

4835 search results - page 848 / 967
» Refactoring Functional Programs
Sort
View
COMCOM
2006
283views more  COMCOM 2006»
13 years 9 months ago
Sleep scheduling for wireless sensor networks via network flow model
The pervasiveness and operational autonomy of mesh-based wireless sensor networks (WSNs) make them an ideal candidate in offering sustained monitoring functions at reasonable cost...
Rick W. Ha, Pin-Han Ho, Sherman X. Shen, Junshan Z...
CORR
2006
Springer
132views Education» more  CORR 2006»
13 years 9 months ago
Packrat Parsing: Simple, Powerful, Lazy, Linear Time
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
ENTCS
2006
137views more  ENTCS 2006»
13 years 9 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
ENTCS
2006
90views more  ENTCS 2006»
13 years 9 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
ESWA
2006
86views more  ESWA 2006»
13 years 9 months ago
Modeling consumer acceptance probabilities
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...
L. C. Thomas, Ki Mun Jung, Steve D. Thomas, Y. Wu