3255 search results - page 346 / 651 » Combination of Abstractions in the ASTR |
154
click to vote
ISESE
2003
IEEE
16 years 1 days ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
192
click to vote
MEMOCODE
2003
IEEE
16 years 1 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
188
click to vote
TPCG
2003
IEEE
16 years 1 days ago
2003
IEEE
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
197
click to vote
WMCSA
2003
IEEE
16 years 23 hour ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
167
click to vote
CASES
2003
ACM
16 years 16 hour ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...