6800 search results - page 118 / 1360 » Testing with Functions as Specifications |
ISBMS
2010
Springer
13 years 10 months ago
2010
Springer
We analyze a problem, which is relevant for physiological modeling of vascular networks: the initialization and optimization of specific, individual models of a functioning vessel ...
FLAIRS
2004
13 years 9 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
SERP
2004
13 years 9 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
SERP
2003
13 years 9 months ago
2003
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
POLICY
2007
Springer
14 years 2 months ago
2007
Springer
A VoIP PBX supports flexible call handling functionality for selective forwarding, cost based outward call routing, recording calls etc. Both users and administrators need a flexi...