3792 search results - page 333 / 759 » Techniques for Trusted Software Engineering |
180
click to vote
IWPC
2006
IEEE
16 years 22 days ago
2006
IEEE
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
173
click to vote
AUIC
2005
IEEE
16 years 10 days ago
2005
IEEE
The latest hardware available for creating playable augmented reality games is too expensive to be used in consumer-level products at the current time. Low-end hardware exists tha...
163
click to vote
ISPASS
2005
IEEE
16 years 8 days ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
170
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
191
click to vote
ICCBSS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...