17 search results - page 2 / 4 » An evaluation of a major validity threat to the technology a... |
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
DSS
2006
13 years 5 months ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
LREC
2008
13 years 7 months ago
2008
The growing dependence of modern society on the Web as a vital source of information and communication has become inevitable. However, the Web has become an ideal channel for vari...