2131 search results - page 170 / 427 » Immunity for Closed Sets |
140
click to vote
CATS
2008
15 years 8 months ago
2008
We show that the set Bn of balanced parenthesis strings with n left and n right parentheses can be generated by prefix shifts. If b1, b2, . . . , b2n is a member of Bn, then the k...
167
click to vote
FMOODS
2007
15 years 8 months ago
2007
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster re...
164
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
197
click to vote
IADIS
2008
15 years 8 months ago
2008
Building semantics concepts into the learning tools and utilities will open the road for the next generation of the Learning Content Management System (LCMS). We propose here to n...
156
click to vote
HIS
2007
15 years 8 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...