Sciweavers

1095 search results - page 61 / 219
» Algebraic Guide Generation
Sort
View
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
14 years 4 months ago
A scalable method for the generation of small test sets
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
Santiago Remersaro, Janusz Rajski, Sudhakar M. Red...
ICST
2009
IEEE
14 years 3 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
ARGMAS
2009
Springer
14 years 3 months ago
A Generative Dialogue System for Arguing about Plans in Situation Calculus
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
ASWC
2006
Springer
14 years 29 days ago
Next Generation Semantic Web Applications
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...
Enrico Motta, Marta Sabou
JCM
2006
79views more  JCM 2006»
13 years 9 months ago
Multi-Service: A Service Aware Routing Protocol for the Next Generation Internet
Quality of Service support plays a major role in the Next Generation Internet. QoS routing protocols must cope with service differentiation to enhance this support. This paper prop...
António Varela, Teresa Vazão, Guilhe...