1596 search results - page 111 / 320 » Quantum property testing |
198
click to vote
IJCSA
2007
15 years 6 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...
179
click to vote
INTEGRATION
1998
15 years 6 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...
183
click to vote
ECIR
2011
Springer
14 years 10 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 ...
155
click to vote
DAC
1998
ACM
16 years 7 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...
187
click to vote
CAISE
2009
Springer
16 years 1 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...