Sciweavers

1713 search results - page 232 / 343
» Analysis of Procedure Splitability
Sort
View
ICRA
2002
IEEE
100views Robotics» more  ICRA 2002»
14 years 3 months ago
Back Flips with a Hexapedal Robot
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
Uluc Saranli, Daniel E. Koditschek
ISCC
2002
IEEE
14 years 3 months ago
Analyzing quality of service of GPRS network systems from a user's perspective
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
Stefano Porcarelli, Felicita Di Giandomenico, Andr...
COMPSAC
2000
IEEE
14 years 3 months ago
Effort-Index-Based Software Reliability Growth Models and Performance Assessment
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu
EDOC
2000
IEEE
14 years 3 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
ELPUB
2007
ACM
14 years 2 months ago
Towards an Ontology of ElPub/SciX: A Proposal
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...
Sely Maria de Souza Costa, Cláudio Gottscha...