5398 search results - page 84 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
ADAEUROPE
2007
Springer
14 years 3 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
SIGGRAPH
1993
ACM
14 years 1 months ago
1993
ACM
A physically compact, low cost, high performance 3D graphics accelerator is presented. It supports shaded rendering of triangles and antialiased lines into a double-buffered 24-bi...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...