872 search results - page 101 / 175 » UML-based design test generation |
132
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
117
click to vote
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
121
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
154
click to vote
QNS
1996
15 years 5 months ago
1996
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
111
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Harvesting energy from ambient vibration is proposed as an alternative to storage based power supplies for autonomous systems. The system presented converts the mechanical energy ...