3082 search results - page 128 / 617 » Deviation Analysis: A New Use of Model Checking |
161
click to vote
EOR
2011
15 years 1 months ago
2011
Efficiency measurement is an important issue for any firm or organization. Efficiency measurement allows organizations to compare their performance with their competitors’ and t...
152
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...
184
click to vote
CISS
2010
IEEE
14 years 10 months ago
2010
IEEE
—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...
178
click to vote
FMAM
2010
15 years 4 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
198
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...