882 search results - page 70 / 177 » A Taste of Rewrite Systems |
104
click to vote
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
124
Voted
AICOM
2004
15 years 14 days ago
2004
Abstract. We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish mappings between several heterogeneous informatio...
83
Voted
VIROLOGY
2008
15 years 14 days ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
121
Voted
ENTCS
2010
14 years 10 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
111
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Search and retrieval of specific musical content such as emotive or sonic features has become an important aspect of Music Information Retrieval system development, but only little...