15754 search results - page 777 / 3151 » Programs are Knowledge Bases |
221
click to vote
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
189
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
176
click to vote
PPDP
2000
Springer
15 years 11 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
220
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
260
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...