7430 search results - page 194 / 1486 » Programming Applications in CIFF |
119
click to vote
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
129
click to vote
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
121
Voted
CCE
2004
15 years 3 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
106
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
141
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...