7393 search results - page 1103 / 1479 » Synthesis-for-testability using transformations |
147
Voted
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...
129
click to vote
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...
133
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
84
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
127
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...