3765 search results - page 677 / 753 » Formal Methods for Systems Engineering Behavior Models |
109
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
126
click to vote
AVI
2008
15 years 4 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
108
click to vote
RE
2002
Springer
15 years 2 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
129
click to vote
TASLP
2011
14 years 9 months ago
2011
—In this paper, a novel tempo detection system is presented, which suggests the use of a hybrid multiband decomposition. The model tracks the periodicities of different signal pr...
141
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...