1596 search results - page 111 / 320 » Quantum property testing |
157
click to vote
IJCSA
2007
15 years 5 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
134
click to vote
INTEGRATION
1998
15 years 4 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
150
click to vote
ECIR
2011
Springer
14 years 8 months ago
2011
Springer
Feature selection plays a vital role in text categorisation. A range of different methods have been developed, each having unique properties and selecting different features. We ...
127
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
149
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...