1179 search results - page 82 / 236 » Programming in Hybrid Constraint Languages |
110
click to vote
GEOINFO
2004
15 years 2 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
107
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
151
click to vote
ISORC
1998
IEEE
15 years 5 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
119
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...