1864 search results - page 113 / 373 » Formal topology and domains |
276
click to vote
FORTE
2011
14 years 10 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
162
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
Geometric crossover is a representation-independent generalization of the class of traditional mask-based crossover for binary strings. It is based on the distance of the search s...
198
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
158
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...
153
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...