3239 search results - page 450 / 648 » A Logical Process Calculus |
175
Voted
SAMT
2007
Springer
15 years 9 months ago
2007
Springer
Video summarization approaches have various fields of application, specifically related to organizing, browsing and accessing large video databases. In this paper we propose and ev...
126
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
127
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
157
Voted
TIME
2006
IEEE
15 years 9 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
108
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...