5111 search results - page 871 / 1023 » The Embedded Systems Design Challenge |
191
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
145
Voted
DALT
2006
Springer
15 years 9 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
151
click to vote
GCC
2006
Springer
15 years 9 months ago
2006
Springer
Some popular computing technologies, such as ubiquitous computing, grid computing and thin-client computing, bring people to a much more distributed and pervasive computing enviro...
179
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
151
click to vote
SC
1995
ACM
15 years 9 months ago
1995
ACM
As part of a NASA HPCC Grand Challenge project, we are designing and implementing a parallel atmospheric chemical tracer model that will be suitable for use in global simulations....