1342 search results - page 187 / 269 » MEMS Design And Verification |
148
click to vote
AAI
2007
15 years 6 months ago
2007
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
117
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
176
click to vote
IJISEC
2008
15 years 6 months ago
2008
We study the multicast stream authentication problem when an opponent can drop, reorder and introduce data packets into the communication channel. In such a model, packet overhead...
159
click to vote
INFSOF
2006
15 years 6 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
157
click to vote
JUCS
2006
15 years 6 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...