2786 search results - page 17 / 558 » A Practical Technique for Process Abstraction |
POPL
1996
ACM
15 years 3 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
107
click to vote
FSE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper addresses the security of symmetric cryptosystems in the blockwise adversarial model. At Crypto 2002, Joux, Martinet and Valette have proposed a new kind of at...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a novel bit-stream switching scheme for the multiple bit-rate (MBR) video streaming, in which a Wyner-Ziv coded frame is used to overcome the mismatch be...
ASWEC
2000
IEEE
15 years 4 months ago
2000
IEEE
We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of softw...
GI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...