1419 search results - page 66 / 284 » Notes on Formalizing Context |
94
Voted
DLT
2004
15 years 2 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
98
Voted
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
106
click to vote
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
DRMTICS
2005
Springer
15 years 6 months 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...