1885 search results - page 140 / 377 » Optimization of Component Connections for an Embedded Compon... |
190
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
169
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, I describe MRDCOM, a mobile reverse-demand communication system for the pizza industry. The web-based system will support student (buyer) sign-up and will be capabl...
183
click to vote
CBSE
2004
Springer
16 years 8 days ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
199
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents the concepts of switching in the Time-Triggered Network-on-Chip (TTNoC), which is the communication subsystem of the Time-Triggered Systemon-Chip (TTSoC) archi...
182
click to vote
HICSS
2006
IEEE
16 years 28 days ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...