7139 search results - page 1019 / 1428 » Language Engineering in Practice |
188
click to vote
FASE
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
177
click to vote
FASE
2005
Springer
16 years 13 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
182
click to vote
FASE
2005
Springer
16 years 13 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
157
click to vote
FATES
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
159
click to vote
GECCO
2005
Springer
16 years 13 days ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...