Sciweavers

1554 search results - page 57 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
CADE
2008
Springer
14 years 8 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
AGTIVE
2003
Springer
14 years 1 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
SACMAT
2010
ACM
14 years 21 days ago
An access control model for mobile physical objects
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
Florian Kerschbaum
IWSOS
2009
Springer
14 years 2 months ago
A Distributed Range Assignment Protocol
We present a new distributed algorithm for creating and maintaining power-efficient topologies in a wireless network. The wireless nodes establish links to neighbouring nodes in a ...
Steffen Wolf, Tom Ansay, Peter Merz
ISCAS
2005
IEEE
144views Hardware» more  ISCAS 2005»
14 years 1 months ago
A method for online secondary path modeling in active noise control systems
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
Muhammad Tahir Akhtar, Masahide Abe, Masayuki Kawa...