5550 search results - page 679 / 1110 » Different Approaches to Proof Systems |
317
click to vote
ASWSD
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
211
click to vote
ECBS
2004
IEEE
15 years 11 months ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
202
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
216
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
225
click to vote
GRID
2000
Springer
15 years 10 months ago
2000
Springer
: The concept of coupling geographically distributed (high-end) resources for solving large-scale problems is becoming increasingly popular, forming what is popularly called grid c...