3657 search results - page 301 / 732 » A Study of Practical Deduplication |
148
Voted
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
160
Voted
DRMTICS
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...
154
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
158
Voted
ICSE
2005
IEEE-ACM
16 years 8 days ago
2005
IEEE-ACM
To enhance motivation of students to study software engineering, some way of finding balance between the scientific aspect and the practical aspect of software engineering is re...
203
click to vote
IPSN
2005
Springer
16 years 8 days ago
2005
Springer
—In current cooperative communication schemes, to achieve cooperative diversity, synchronization between terminals is usually assumed, which may not be practical since each termi...