Sciweavers

1040 search results - page 159 / 208
» Tools for modeling and solving search problems
Sort
View
JWSR
2006
170views more  JWSR 2006»
13 years 8 months ago
Managing Semantic Metadata for Web/Grid Services
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
Liming Chen, Nigel R. Shadbolt, Carole A. Goble, F...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
13 years 8 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
HPCC
2010
Springer
13 years 7 months ago
Performance Analysis of Scientific and Engineering Applications Using MPInside and TAU
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
Subhash Saini, Piyush Mehrotra, Kenichi Taylor, Sa...
MM
2003
ACM
190views Multimedia» more  MM 2003»
14 years 2 months ago
Human + agent: creating recombinant information
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
Andruid Kerne, Vikram Sundaram, Jin Wang, Madhur K...
ECEASST
2008
110views more  ECEASST 2008»
13 years 9 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica