5863 search results - page 907 / 1173 » On Model-Checking of P Systems |
170
click to vote
DCC
1995
IEEE
15 years 10 months ago
1995
IEEE
Compression with Reversible Embedded Wavelets (CREW) is a uni ed lossless and lossy continuous-tone still image compression system. It is wavelet-based using a \reversible" a...
183
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
135
click to vote
NSDI
2007
15 years 9 months ago
2007
Access control misconfigurations are widespread and can result in damaging breaches of confidentiality. This paper presents TightLip, a privacy management system that helps user...
178
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...
195
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...