1163 search results - page 24 / 233 » Case Studies of Model Checking for Embedded System Designs |
134
Voted
ASE
2005
15 years 1 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
135
click to vote
SEUS
2009
IEEE
15 years 8 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
144
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
102
click to vote
CII
2007
15 years 1 months ago
2007
The paper uses a case example to present a novel way of building enterprise information systems. The objective is to bring forth the benefits of an item centric systems design in ...
126
Voted
JUCS
2008
15 years 1 months ago
2008
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...