75 search results - page 11 / 15 » Verification and Implementation of Delay-Insensitive Process... |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
We present an object recognition algorithm that uses model and image line features to locate complex objects in high clutter environments. Finding correspondences between model an...
INFSOF
2007
13 years 7 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
ITICSE
2003
ACM
14 years 22 days ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...