1407 search results - page 214 / 282 » The Use of Overloading in Java Programs |
135
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
111
click to vote
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
130
click to vote
JUCS
2008
15 years 2 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
125
click to vote
FORTE
2009
15 years 7 days ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
128
click to vote
JSAT
2010
14 years 9 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...