6800 search results - page 737 / 1360 » Testing with Functions as Specifications |
158
click to vote
ICCSA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
213
click to vote
WER
2005
Springer
16 years 18 days ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
214
click to vote
CF
2004
ACM
16 years 16 days ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
179
click to vote
BPM
2004
Springer
16 years 15 days ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
179
click to vote
ISMIR
2004
Springer
16 years 14 days ago
2004
Springer
Annotating music poses a cognitive load on listeners and this potentially interferes with the emotions being reported. One solution is to let software agents learn to make the ann...