Sciweavers

10072 search results - page 442 / 2015
» Composition of Model Programs
Sort
View
187
Voted
BMCBI
2008
77views more  BMCBI 2008»
15 years 7 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
216
Voted
ECBS
2009
IEEE
193views Hardware» more  ECBS 2009»
15 years 4 months ago
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
LFCS
2007
Springer
16 years 1 months ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
156
Voted
BNCOD
2004
106views Database» more  BNCOD 2004»
15 years 8 months ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
JUCS
2006
135views more  JUCS 2006»
15 years 6 months ago
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
Ajith Abraham, Crina Grosan