4350 search results - page 45 / 870 » Case studies for contract-based systems |
SEUS
2005
IEEE
14 years 3 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
The Robust Self-Configuring Embedded Systems (RoSES) project seeks to achieve graceful degradation through software reconfiguration. To accomplish this goal, systems must automati...
AICS
2009
13 years 7 months ago
2009
The Web has many sites where users can exchange goods and services. Often, the end-users must write free-text descriptions of the goods and services they have available, or the goo...