2006 search results - page 104 / 402 » Testing with Respect to Concerns |
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
ISLPED
1996
ACM
14 years 1 months ago
1996
ACM
This paper examines the energy delay implications of partial product reduction methods employed in parallel multiplier implementations. Radix 4 Modified Booth Algorithm (MBA) is c...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
While software architecture has become an increasingly important research topic in recent years, insufficient attention has been paid to methods for evaluation of these architectu...
CONCUR
1991
Springer
14 years 14 days ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
VISSYM
2007
13 years 11 months ago
2007
This paper is concerned with a multiresolution representation for maximum intensity projection (MIP) volume rendering based on morphological pyramids which allows progressive refi...