4350 search results - page 89 / 870 » Case studies for contract-based systems |
SAC
2005
ACM
14 years 3 months ago
2005
ACM
Over the last few years rapid progress has been made in moving from conceptual studies, “whitepapers” and initiatives to the actual deployment of e-Government systems [13]. In...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
This paper is based on our exploratory study of a South Indian village in Chamrajanagar district of Karnataka. The study was to understand the rural communication environment and ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
AVBPA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. A biometric authentication system operates by acquiring biometric data from a user and comparing it against the template data stored in a database in order to identify a ...