334 search results - page 49 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
158
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
143
click to vote
SBCCI
2003
ACM
15 years 9 months ago
2003
ACM
Network on Chip (NoC) is a new paradigm for designing core based System on Chips. It supports high degree of reusability and is scalable. In this paper, an efficient Two-Step Gene...
149
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
112
click to vote
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
152
click to vote
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...