Sciweavers

11376 search results - page 1953 / 2276
» Willow System Demonstration
Sort
View
197
Voted
ENTCS
2008
101views more  ENTCS 2008»
15 years 7 months ago
Improving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...
EOR
2008
119views more  EOR 2008»
15 years 7 months ago
A novel mechanism for provisioning of high-level quality of service information in grid environments
Grids, like other heterogeneous systems, have reached the level of maturity where they are addressing the Quality of Service (QoS) provision aspect as a fundamental part of their ...
Konstantinos Tserpes, Dimosthenis Kyriazis, Andrea...
AROBOTS
2006
94views more  AROBOTS 2006»
15 years 7 months ago
Multimode locomotion via SuperBot reconfigurable robots
Abstract One of the most challenging issues for a selfsustaining robotic system is how to use its limited resources to accomplish a large variety of tasks. The scope of such tasks ...
Wei-Min Shen, Maks Krivokon, Harris Chiu, Jacob Ev...
ASE
2006
122views more  ASE 2006»
15 years 7 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
AUTOMATICA
2006
101views more  AUTOMATICA 2006»
15 years 7 months ago
A risk-sensitive approach to total productive maintenance
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
Abhijit Gosavi
« Prev « First page 1953 / 2276 Last » Next »