1004 search results - page 151 / 201 » Modeling and Control - Flexible Structure Spacecraft |
105
click to vote
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
: Since their first usage simulators have been employed in training staff in civil aeronautics and in military fields to improve driving skills without compromising safety of peopl...
134
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
— Many inference problems that arise in sensor networks require the computation of a global conclusion that is consistent with local information known to each node. A large class...
149
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
130
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
221
click to vote
GLOBAL
2003
Springer
15 years 9 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...