6800 search results - page 718 / 1360 » Testing with Functions as Specifications |
158
click to vote
ELECTRONICMARKETS
2007
15 years 7 months ago
2007
In this paper we explore which bundles of services are attractive to users. We look specifically in bundle composition with navigation services as core, and travel and entertainme...
209
click to vote
ENGL
2007
15 years 7 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...
181
click to vote
NN
2008
Springer
15 years 7 months ago
2008
Springer
MIIND (Multiple Interacting Instantiations of Neural Dynamics) is a highly modular multi-level C++ framework, that aims to shorten the development time for models in Cognitive Neu...
177
click to vote
SCP
2008
15 years 7 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
203
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...