Sciweavers

1090 search results - page 159 / 218
» Type-Directed Partial Evaluation
Sort
View
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
14 years 3 months ago
Does the Extended Technology Acceptance Model Apply to Physicians
In previous studies, the technology acceptance model (TAM) [1] has been widely used by information technology researchers to gain a better understanding of information technology ...
William G. Chismar, Sonja Wiley-Patton
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
14 years 3 months ago
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
Steve McKeever, Wayne Luk, Arran Derbyshire
HICSS
2003
IEEE
250views Biometrics» more  HICSS 2003»
14 years 3 months ago
A Method for Demand-Driven Information Requirements Analysis in Data Warehousing Projects
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
Robert Winter, Bernhard Strauch
WISE
2003
Springer
14 years 3 months ago
Flexible Interface Matching for Web-Service Discovery
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step, to that end, is service discovery, i.e....
Yiqiao Wang, Eleni Stroulia
SAC
2003
ACM
14 years 3 months ago
Applying Information Visualization Techniques to Capture and Explore the Course of Cognitive Behavioral Therapy
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
Monika Lanzenberger, Silvia Miksch, Susanne Ohmann...