Sciweavers

11374 search results - page 1972 / 2275
» Demonstration of the CROSSMARC System
Sort
View
EOR
2008
119views more  EOR 2008»
15 years 6 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 6 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 6 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 6 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
FAC
2008
80views more  FAC 2008»
15 years 6 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
« Prev « First page 1972 / 2275 Last » Next »