8701 search results - page 1262 / 1741 » XML-Based Feature Modelling |
192
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
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...
151
click to vote
WDAG
2005
Springer
15 years 12 months ago
2005
Springer
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...
157
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
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...
133
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
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 ...
168
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
Volumetric displays provide interesting opportunities and challenges for 3D interaction and visualization, particularly when used in a highly interactive manner. We explore this a...