2935 search results - page 200 / 587 » An Integrated Approach to High Integrity Software Verificati... |
193
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
186
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
170
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
191
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a fully automatic approach to multiple human detection and tracking in high density crowds in the presence of extreme occlusion. Human detection...
178
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...