3825 search results - page 428 / 765 » The Language of Time: A Reader |
221
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
195
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
276
click to vote
SMALLTALK
2007
Springer
16 years 29 days ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
178
click to vote
ACSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...
194
click to vote
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...