1721 search results - page 66 / 345 » The fundamentals of hybrid systems modelers |
ENTCS
2006
14 years 10 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
An information?theoretic model for image watermarking and data hiding systems is presented in this paper. The fundamental capacity limits of these systems are determined by the st...
ER
2008
Springer
14 years 11 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
MONET
2006
14 years 10 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
ISLPED
2010
ACM
14 years 10 months ago
2010
ACM
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...