Sciweavers

2438 search results - page 238 / 488
» Consistent Gradient Operators
Sort
View
PRDC
1999
IEEE
15 years 10 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
ACSD
1998
IEEE
113views Hardware» more  ACSD 1998»
15 years 10 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
HYBRID
1999
Springer
15 years 10 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
COMPSAC
1998
IEEE
15 years 10 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. ...
ISER
1999
Springer
147views Robotics» more  ISER 1999»
15 years 10 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...