2702 search results - page 468 / 541 » Requirements Processes: An Experience Report |
WSC
1990
15 years 1 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
113
click to vote
TREC
2007
15 years 1 months ago
2007
The TREC 2007 question answering (QA) track contained two tasks: the main task consisting of series of factoid, list, and “Other” questions organized around a set of targets, ...
3DPH
2009
15 years 1 months ago
2009
Abstract. In this paper, a method is presented that allows reconstructing the full-body pose of a person in real-time, based on the limited input from a few wearable inertial senso...
106
click to vote
MM
2010
ACM
15 years 2 days ago
2010
ACM
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
127
click to vote
FMICS
2010
Springer
15 years 1 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...