Sciweavers

2049 search results - page 307 / 410
» Normalization and Partial Evaluation
Sort
View
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...
ICSOC
2003
Springer
14 years 3 months ago
Semantic Structure Matching for Assessing Web-Service Similarity
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
Yiqiao Wang, Eleni Stroulia