399 search results - page 18 / 80 » Combining the Animation and Testing of Abstract Data Types |
DILS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
VIS
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
ISSRE
2000
IEEE
14 years 1 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
ICCSA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The accurate prediction of Web navigation patterns has immense commercial value as the Web evolves into a primary medium for marketing and sales for many businesses. Ofte...