1147 search results - page 123 / 230 » Termination in language-based systems |
103
click to vote
HASE
2007
IEEE
15 years 2 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
82
Voted
LREC
2010
15 years 2 months ago
2010
This paper presents a system for querying treebanks in a uniform way. The system is able to work with both dependency and constituency based treebanks in any language. We demonstr...
88
Voted
FATES
2005
Springer
15 years 6 months 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...
103
click to vote
ANSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
88
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Program bloat is a fundamental problem in the field of Genetic Programming (GP). Exponential growth of redundant and functionally useless sections of programs can quickly overcome...