5547 search results - page 743 / 1110 » Software Variability Management |
171
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
153
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
146
click to vote
DRM
2007
Springer
16 years 26 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
161
click to vote
FSEN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
147
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...