10072 search results - page 1430 / 2015 » Composition of Model Programs |
213
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
212
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
180
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
208
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The estimation of demographic parameters from genetic data often requires the computation of likelihoods. However, the likelihood function is computationally intractab...
189
click to vote
LOBJET
2006
15 years 7 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...