2757 search results - page 442 / 552 » On separating systems |
131
click to vote
COCO
1994
Springer
15 years 8 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
134
click to vote
PEPM
1993
ACM
15 years 8 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
143
Voted
FMLDO
1990
Springer
15 years 8 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...
141
click to vote
CIT
2007
Springer
15 years 8 months ago
2007
Springer
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
131
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...