Sciweavers

504 search results - page 42 / 101
» Modular System Development with Pullbacks
Sort
View
SOCRATES
2008
228views Education» more  SOCRATES 2008»
15 years 3 months ago
ScribaLab Ver. 2.0
What is Scribalab 2.0? A system to create web communities and a modular toolbox for writing and publish on the web. It is made up of two main sections both designed to welcome use...
Nuccia Silvana Pirruccello, Gianluca Tramontana
CORR
2011
Springer
179views Education» more  CORR 2011»
14 years 9 months ago
An overview of Ciao and its design philosophy
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
Manuel V. Hermenegildo, Francisco Bueno, Manuel Ca...
109
Voted
SEMWEB
2010
Springer
15 years 11 days ago
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurr...
ASPLOS
2011
ACM
14 years 6 months ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
FBIT
2007
IEEE
15 years 8 months ago
Developmental Evaluation in Genetic Programming: A Position Paper
—Standard genetic programming genotypes are generally highly disorganized and poorly structured, with little code replication. This is also true of existing developmental genetic...
Tuan Hao Hoang, Robert I. McKay, Daryl Essam, Nguy...