117
click to vote
ISW
2000
Springer
15 years 7 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
126
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
120
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, "What are the best subdomains ...
141
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
In data dominated applications, like multi-media and telecom applications, data storage and transfers are the most important factors in terms of energy consumption, area and syste...
125
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The paper presents a novel software-pipelining algorithm suitable for optimizing compilers targeting embedded VLIW processors. The proposed algorithm is different from previous ap...