555 search results - page 43 / 111 » PST: The Provider Selection Tool |
GI
2009
Springer
14 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
VRML
1998
ACM
14 years 2 months ago
1998
ACM
We describe our efforts in providing REINAS (Realtime Environmental Information Network and Analysis System) weather visualization products on demand through the web. As the REINA...
IFL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
CRV
2007
IEEE
14 years 4 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
ICADL
2010
Springer
14 years 2 months ago
2010
Springer
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...