1496 search results - page 255 / 300 » Definability of Initial Segments |
136
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
108
click to vote
TCS
2008
15 years 1 months ago
2008
We introduce a new combinatorial game between two players: Magnus and Derek. Initially, a token is placed at position 0 on a round table with n positions. In each round of the gam...
103
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
126
click to vote
EC
2000
15 years 1 months ago
2000
Solving optimization problems with multiple (often conflicting) objectives is, generally, a very difficult goal. Evolutionary algorithms (EAs) were initially extended and applied ...
119
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...