Sciweavers

1164 search results - page 37 / 233
» Case Studies in Event-Driven Control
Sort
View
MCSS
2008
Springer
15 years 11 days ago
Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...
Peter Kunkel, Volker Mehrmann
103
Voted
FLAIRS
2007
15 years 4 months ago
Pattern-Constrained Test Case Generation
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
Martin Atzmüller, Joachim Baumeister, Frank P...
COMPSAC
2006
IEEE
15 years 8 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
ISORC
1999
IEEE
15 years 6 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 8 months ago
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
Wen-Yu Liu, Kwoting Fang