10275 search results - page 200 / 2055 » Case Studies of Autonomy |
125
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
135
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
168
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we investigate the benefits of a flexible, application-specific instruction set by adding a run-time Reconfigurable Functional Unit (RFU) to a VLIW processor. Preli...
138
Voted
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
279
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents data collected from 5 real-world (federal, state and commercial) groups as they undertook their real-world (Business Process Reengineering (BPR) and Joint Appl...