2576 search results - page 233 / 516 » A case study in test management |
170
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Remote management is essential for wireless sensor networks (WSNs) designed to run perpetually using harvested energy. A natural division of function for managing WSNs is to employ...
155
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The central question of this paper is: How can design of Program Management contribute to the success of complex software implementations? Incomplete goal specifications, lack of ...
177
click to vote
DL
1997
Springer
15 years 10 months ago
1997
Springer
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
173
click to vote
TLCA
1993
Springer
15 years 10 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...
156
click to vote
CCE
2008
15 years 6 months ago
2008
We describe flexible optimization models for the production and distribution of liquefied atmospheric gases. A simulation engine that interacts with the optimization models is use...