Sciweavers

446 search results - page 21 / 90
» A new paradigm for programming competitions
Sort
View
CASCON
1996
126views Education» more  CASCON 1996»
13 years 10 months ago
A survey of testing techniques for object-oriented systems
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
Morris S. Johnson Jr.
ENTCS
2010
173views more  ENTCS 2010»
13 years 8 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
CSREASAM
2010
13 years 5 months ago
Modeling NIDS Evasion with Genetic Programming
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...
Sergio Pastrana, Agustín Orfila, Arturo Rib...
DCW
2000
Springer
14 years 1 months ago
The GIPSY Architecture
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
Joey Paquet, Peter G. Kropf
BMCBI
2007
116views more  BMCBI 2007»
13 years 8 months ago
MED: a new non-supervised gene prediction algorithm for bacterial and archaeal genomes
Background: Despite a remarkable success in the computational prediction of genes in Bacteria and Archaea, a lack of comprehensive understanding of prokaryotic gene structures pre...
Huaiqiu Zhu, Gang-Qing Hu, Yi-Fan Yang, Jin Wang, ...