3307 search results - page 529 / 662 » The meaning of concurrent programs |
199
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
180
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
150
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
149
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We extend Haskell with regular expression patterns. Regular expression patterns provide means for matching and extracting data which goes well beyond ordinary pattern matching as ...
197
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...