1885 search results - page 140 / 377 » Optimization of Component Connections for an Embedded Compon... |
CORR
2007
Springer
14 years 10 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...
GECCO
2007
Springer
15 years 4 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...
CBSE
2004
Springer
15 years 3 months 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 ...
101
click to vote
RTCSA
2008
IEEE
15 years 4 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...
HICSS
2006
IEEE
15 years 4 months 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...