Sciweavers

13985 search results - page 2229 / 2797
» Active Feature Models
Sort
View
SOCO
2005
Springer
16 years 16 days ago
On the Revival of Dynamic Languages
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
Oscar Nierstrasz, Alexandre Bergel, Marcus Denker,...
VMCAI
2005
Springer
16 years 16 days ago
Information Flow Analysis for Java Bytecode
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
Samir Genaim, Fausto Spoto
WDAG
2005
Springer
82views Algorithms» more  WDAG 2005»
16 years 16 days ago
Distributed Transactional Memory for Metric-Space Networks
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
Maurice Herlihy, Ye Sun
175
Voted
ACMSE
2004
ACM
16 years 15 days ago
Interface design for a modern software ticketing system
This paper describes issues in the design of IT-centric trouble-ticketing applications. Two prototypes are presented. The first introduces a user-centric, webaccessible thick clie...
Minhui Xie, Mark Tomlinson, Bobby Bodenheimer
SAC
2004
ACM
16 years 15 days ago
A core calculus of higher-order mixins and classes
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
Lorenzo Bettini, Viviana Bono, Silvia Likavec
« Prev « First page 2229 / 2797 Last » Next »