2018 search results - page 363 / 404 » Code Normal Forms |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider the N-user broadcast erasure channel where feedback from the users is fed back to the transmitter in the form of ACK messages. We provide a generic outer bound to the ...
ENTCS
2008
13 years 8 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
ASE
2006
13 years 8 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
FUIN
2006
13 years 8 months ago
2006
We investigate in this paper a simple intramolecular model for gene assembly in ciliates. Unlike the general intramolecular model, the folds that a micronuclear chromosome may for...
IJNSEC
2008
13 years 8 months ago
2008
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...