1583 search results - page 188 / 317 » Feature Interaction Detection in the Feature Language Extens... |
126
click to vote
PLDI
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
105
click to vote
ENTCS
2008
15 years 4 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
121
click to vote
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present several extensions to the wellknown InfoViz technique of parallel coordinates, mainly concentrating on brushing and focus+context visualization. First, we...
158
Voted
CLEIEJ
2006
15 years 4 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
113
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Widget containers are used everywhere on the Web, for instance as customizable start pages to Web desktops. In this poster, we describe the extension of a widget container with an...