2303 search results - page 360 / 461 » The Cryptographic Abstract Machine |
170
click to vote
IPPS
2007
IEEE
16 years 16 days ago
2007
IEEE
Software transactional memory systems enable a programmer to easily write concurrent data structures such as lists, trees, hashtables, and graphs, where non-conflicting operation...
184
click to vote
LICS
2007
IEEE
16 years 15 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
176
click to vote
TASE
2007
IEEE
16 years 15 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
149
click to vote
CAISE
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
149
click to vote
CIA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. In this paper we investigate methods for analyzing the expected value of adding information in distributed task scheduling problems. As scheduling problems are NP-complet...