3971 search results - page 250 / 795 » On the Use of Properties in Java Applications |
222
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
163
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
189
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...
180
click to vote
DATESO
2010
15 years 4 months ago
2010
Non-associative quasigroups are well known combinatorial designs with many different applications. Many cryptographic algorithms based on quasigroups primitives have been published...
148
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents a new algorithm for realization of Gramian-preserving frequency transformation for linear discrete-time systems. In the proposed algorithm, we const...