2741 search results - page 337 / 549 » Engineering Mathematical Knowledge |
148
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
170
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
167
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
150
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
A mobile ad-hoc network (MANET) is a collection of mobile nodes which communicate over radio. These kind of networks are very flexible, thus they do not require any existing infr...
123
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Maximizing passengers comfort is an important research topic in the domain of automotive systems engineering. In particular, an automatic adjustment of seat position according to d...