Sciweavers

946 search results - page 60 / 190
» Supporting The Design Process Within An Organisational Conte...
Sort
View
IPPS
2006
IEEE
14 years 2 months ago
Towards a universal client for grid monitoring systems: design and implementation of the Ovid browser
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...
Marios D. Dikaiakos, A. Artemiou, George Tsouloupa...
NAACL
1994
13 years 10 months ago
Issues and Methodology for Template Design for Information Extraction
The goal of Information Extraction tasks is to identify, categorize, classify, relate, and normalize specific information of interest found in free text, and to make that informat...
Boyan A. Onyshkevych
BIRTHDAY
2010
Springer
13 years 9 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
HICSS
2010
IEEE
165views Biometrics» more  HICSS 2010»
14 years 3 months ago
Taking Universal Perspective in Design: A Plea for Two Reflective Principles and Mechanisms
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...
Fahri Yetim
ICSE
1998
IEEE-ACM
14 years 1 months ago
Design Components: Towards Software Composition at the Design Level
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
Rudolf K. Keller, Reinhard Schauer