1415 search results - page 155 / 283 » Verified systems by composition from verified components |
163
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
196
click to vote
ENASE
2009
15 years 4 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
167
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
201
click to vote
ICC
2008
IEEE
16 years 24 days ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
157
click to vote
MUE
2008
IEEE
16 years 22 days ago
2008
IEEE
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...