1058 search results - page 99 / 212 » Using Different Representations of Synchronous Systems in SA... |
200
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...
156
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
176
click to vote
TASLP
2010
15 years 5 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
179
click to vote
RAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Eelectronic device technology has been monopolized by binary system for many years. The circs not only makes it impossible to break through the existing technology bottleneck, but...
183
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...