2935 search results - page 74 / 587 » An Integrated Approach to High Integrity Software Verificati... |
113
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
150
click to vote
AAAI
2004
15 years 5 months ago
2004
Pervasive computing aims to build an aggregated environment around a user by knitting diverse computing and communicating devices and software services into a single homogeneous u...
134
click to vote
BMVC
1998
15 years 5 months ago
1998
This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic obj...
125
click to vote
ECEH
2006
15 years 5 months ago
2006
Data integration in medical applications is a crucial and sensitive task. It turns out that there are rigid factors like heterogeneous, distributed data sources, security, and comp...
138
click to vote
MCS
2006
Springer
15 years 4 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...