2935 search results - page 456 / 587 » An Integrated Approach to High Integrity Software Verificati... |
151
click to vote
IUI
2006
ACM
16 years 1 hour ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
159
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
157
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
179
click to vote
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
162
click to vote
EDO
2005
Springer
15 years 11 months ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...