5433 search results - page 772 / 1087 » Tool Support for Traceability-Adaptation |
161
click to vote
PACT
2005
Springer
16 years 9 days ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
182
click to vote
PLDI
2004
ACM
16 years 7 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
197
click to vote
UIST
2004
ACM
16 years 7 days ago
2004
ACM
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
239
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
241
click to vote
CPM
2004
Springer
16 years 6 days ago
2004
Springer
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...