Sciweavers

3943 search results - page 237 / 789
» Architecture-Level Requirements Specification
Sort
View
EACL
1989
ACL Anthology
15 years 7 months ago
User studies and the design of Natural Language Systems
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
Steve Whittaker, Phil Stenton
SPLC
2007
15 years 7 months ago
Scalability of Decision Models for Dynamic Product Lines
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...
Gunnar Brataas, Svein O. Hallsteinsen, Romain Rouv...
IJCIS
2006
80views more  IJCIS 2006»
15 years 6 months ago
A Layered Framework for Connecting Client Objectives and Resource Capabilities
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
Asit Dan, Kavitha Ranganathan, Catalin Dumitrescu,...
218
Voted
ITSSA
2006
182views more  ITSSA 2006»
15 years 6 months ago
Application of Business Process Execution Language to Scientific Workflows
: This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability an...
Asif Akram, David Meredith, Rob Allan
ASE
2005
103views more  ASE 2005»
15 years 6 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...