846 search results - page 128 / 170 » Rewrite-Based Decision Procedures |
159
Voted
SIN
2009
ACM
15 years 11 months ago
2009
ACM
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...
116
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
—A material handling (MH) system of a general assembly line dispatching parts from inventory to working buffers could be complicated and costly to operate. Generally it is extrem...
136
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
135
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
The fact that audio compression for streaming or storage is usually performed offline alleviates traditional constraints on encoding delay. We propose a rate-distortion optimized...
172
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...