767 search results - page 123 / 154 » Model-Based Development of Distributed Embedded Real-Time Sy... |
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
112
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...
116
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we propose a new face hallucination framework based on image patches, which integrates two novel statistical super-resolution models. Considering that image patches...
126
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
PDPTA
2007
15 years 3 months ago
2007
We have developed a mobile thin-client server named ”HTTP-FUSE-KNOPPIX-BOX” that incorporates mechanisms for increasing performance, distributing load, and providing fault tole...