Sciweavers

2142 search results - page 232 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
FORMATS
2009
Springer
16 years 1 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
GMAI
2006
IEEE
144views Solid Modeling» more  GMAI 2006»
16 years 16 days ago
Manipulation of Elastically Deformable Surfaces through Maya Plug-in
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
Lihua You, Javier Romero Rodriguez, Jian J. Zhang
LCN
2003
IEEE
15 years 11 months ago
A New Scheme for IP-based Internet-Mobility
In this contribution we present a new type of mobility management for IP-based networks that, contrary to conventional approaches, does not focus on the network layer, but on the ...
Thomas Dreibholz, Andreas Jungmaier, Michael T&uum...
LICS
2003
IEEE
15 years 11 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
IPPS
2008
IEEE
16 years 27 days ago
Design and optimization of a distributed, embedded speech recognition system
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
Chung-Ching Shen, William Plishker, Shuvra S. Bhat...