Sciweavers

2081 search results - page 86 / 417
» codes 2006
Sort
View
150
Voted
ENTCS
2006
133views more  ENTCS 2006»
15 years 3 months ago
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
Ando Saabas, Tarmo Uustalu
120
Voted
JUCS
2010
105views more  JUCS 2010»
15 years 2 months ago
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
: We investigate the problem of decomposing a language into a catenation of nontrivial languages, none of which can be decomposed further. In many cases this leads to the operation...
Arto Salomaa
107
Voted
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
15 years 9 months ago
A Study on Spatial Scalable Coding using Vector Representation
The major advantage of vector representation of an image is that the image quality is maintained for arbitrary scaling. In recent years, a demand for scalable image coding has bee...
Yuki Yamamoto, Kei Kawamura, Hiroshi Watanabe
108
Voted
ICSM
2006
IEEE
15 years 9 months ago
On the Use of Line Co-change for Identifying Crosscutting Concern Code
Crosscutting concerns are software system features whose implementation is spread across many modules as tangled and scattered code. Identifying such code helps developers to chan...
Gerardo Canfora, Luigi Cerulo, Massimiliano Di Pen...
129
Voted
IJNSEC
2007
154views more  IJNSEC 2007»
15 years 3 months ago
Integrity of mobile agents: a new approach
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
Aneta Zwierko, Zbigniew Kotulski