Sciweavers

2438 search results - page 238 / 488
» Consistent Gradient Operators
Sort
View
105
Voted
PRDC
1999
IEEE
15 years 7 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
128
Voted
ACSD
1998
IEEE
113views Hardware» more  ACSD 1998»
15 years 7 months ago
Modeling and Analyzing Interorganizational Workflows
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
Wil M. P. van der Aalst
122
Voted
HYBRID
1999
Springer
15 years 7 months ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler
113
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
Software Engineering for Scalable Distributed Applications
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
Maarten van Steen, Stefan Van der Zijden, Henk J. ...
126
Voted
ISER
1999
Springer
147views Robotics» more  ISER 1999»
15 years 7 months ago
Experimental Validation of Physics-Based Planning and Control Algorithms for Planetary Robotic Rovers
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
Karl Iagnemma, Robert Burn, Eric Wilhelm, Steven D...