Search Sciweavers | Sciweavers

10899 search results - page 153 / 2180

» The GP Programming System

click to vote

WCRE
1998
IEEE

94views Software Engineering» more WCRE 1998»

Program Comprehension in Multi-Language Systems

14 years 1 months ago

Download www.uni-koblenz.de

Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...

claim paper

Read More »

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

14 years 1 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

click to vote

OOPSLA
1987
Springer

114views Security Privacy» more OOPSLA 1987»

Teaching Object-Oriented Programming with the KEE System

14 years 1 months ago

Download telearn.noe-kaleidoscope.org

Renate Kempf, Marilyn Stelzner

claim paper

Read More »

click to vote

ATAL
2008
Springer

111views Intelligent Agents» more ATAL 2008»

Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction

14 years 5 days ago

Download people.csail.mit.edu

Jonathan Bachrach, James McLurkin, Anthony Grue

claim paper

Read More »

click to vote

CEC
2005
IEEE

93views Artificial Intelligence» more CEC 2005»

Elevator group supervisory control system using genetic network programming with functional localization

14 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers