Sciweavers

2226 search results - page 408 / 446
» Pdk: The System and Its Language
Sort
View
WSC
1997
15 years 1 months ago
The Power and Performance of Proof Animation
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
James O. Henriksen
WSC
1989
15 years 29 days ago
A general purpose animator
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
Daniel T. Brunner, James O. Henriksen
ERCIMDL
2010
Springer
150views Education» more  ERCIMDL 2010»
15 years 27 days ago
A Search Log-Based Approach to Evaluation
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
Junte Zhang, Jaap Kamps
CSIE
2009
IEEE
15 years 27 days ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
ELPUB
2008
ACM
15 years 26 days ago
The MPEG Query Format, a new standard for querying digital content - Usage in scholarly literature search and retrieval
The initiative of standardization of MPEG Query Format (MPQF) has refueled the research around the definition of a unified query language for digital content. The goal is to provi...
Rubén Tous, Jaime Delgado