4693 search results - page 808 / 939 » Verifying Hybrid Systems |
110
click to vote
WACV
2005
IEEE
15 years 6 months ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
103
Voted
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Design patterns offer flexible solutions to common problems in software development. Recent studies have shown that several design patterns involve crosscutting concerns. Unfortun...
77
Voted
OZCHI
2005
ACM
15 years 6 months ago
2005
ACM
We report on a care setting where staff looking after ex-psychiatric patients were supported by mobile and stationery communications technology (e.g. mobile phones, a messaging sy...
95
Voted
WWW
2005
ACM
15 years 6 months ago
2005
ACM
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
95
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...