1681 search results - page 123 / 337 » Formal Design of Distributed Control Systems with Lustre |
130
Voted
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
110
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
140
Voted
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
110
click to vote
HPCA
2008
IEEE
16 years 3 months ago
2008
IEEE
Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an es...
116
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...