4961 search results - page 284 / 993 » Homomorphism-Homogeneous Relational Structures |
116
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
130
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
117
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
139
click to vote
MIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
122
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...