Sciweavers

6142 search results - page 567 / 1229
» The Complexity of Partition Functions
Sort
View
ETFA
2005
IEEE
16 years 21 days ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
198
Voted
ICAC
2005
IEEE
16 years 21 days ago
Towards a Framework and a Design Methodology for Autonomic SoC
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
Gabriel Mihai Lipsa, Andreas Herkersdorf, Wolfgang...
IV
2005
IEEE
91views Visualization» more  IV 2005»
16 years 20 days ago
Polyrhythmic Organization of Coupled Nonlinear Oscillators
We study the rhythmic organization of coupled nonlinear oscillators. If oscillators with non-identical internal frequency are coupled they generate a great variety of periodic and...
Gerold Baier, Thomas Hermann, Markus Müller
MYCRYPT
2005
Springer
187views Cryptology» more  MYCRYPT 2005»
16 years 17 days ago
Distinguishing Attacks on T-Functions
Klimov and Shamir proposed a new class of simple cryptographic primitives named T-functions. For two concrete proposals based on the squaring operation, a single word T-function an...
Simon Künzli 0002, Pascal Junod, Willi Meier
196
Voted
PROMAS
2005
Springer
16 years 17 days ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...