5810 search results - page 797 / 1162 » An Approach to Programming Based on Concepts |
198
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
171
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
157
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we present the results of ...
169
click to vote
LADS
2007
Springer
16 years 28 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
153
click to vote
CEC
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract- We present experiments (co)evolving Go players based on artificial neural networks (ANNs) for a 5x5 board. ANN structure and weights are encoded in multi–chromosomal g...