1364 search results - page 212 / 273 » Comparative Branching-Time Semantics |
128
click to vote
RSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
131
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
120
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...
146
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
151
Voted
MMM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Recent advancements in 3D scanning technologies have inspired the development of effective methods for matching and retrieving 3D objects. A common pre-processing stage ...