2482 search results - page 283 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
120
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
149
Voted
COMMA
2010
14 years 9 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
153
Voted
IGPL
2011
14 years 6 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
120
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
118
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...