527 search results - page 21 / 106 » Words and Bisimulations of Dynamical Systems |
OOIS
2000
Springer
13 years 11 months ago
2000
Springer
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...
AAAI
2004
13 years 9 months ago
2004
one. The assignment of the weights is performed according to the following two conditions: 1) The sum of weights assigned to the links outgoing from the original keyword has to be ...
ICALP
1989
Springer
13 years 11 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ENTCS
2006
13 years 7 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...