Sciweavers

4835 search results - page 419 / 967
» Intelligent Selection Tools
Sort
View
IJCAI
2001
15 years 8 months ago
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
Jim Blythe
ICCD
2002
IEEE
93views Hardware» more  ICCD 2002»
16 years 3 months ago
Speculative Trace Scheduling in VLIW Processors
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...
Manvi Agarwal, S. K. Nandy, Jos T. J. van Eijndhov...
KBSE
2008
IEEE
16 years 1 months ago
A Case Study on the Automatic Composition of Network Application Mashups
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
Maxim Shevertalov, Spiros Mancoridis
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 23 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
16 years 10 days ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara