15635 search results - page 460 / 3127 » Modelling and Design of VAML |
158
click to vote
APCCAS
2006
IEEE
16 years 26 days ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
173
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
208
click to vote
RTSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
154
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
178
click to vote
MATES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...