8109 search results - page 293 / 1622 » A Model of Component-Based Programming |
160
click to vote
TSE
2010
15 years 5 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
140
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
161
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
160
click to vote
IAT
2006
IEEE
16 years 21 days ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
170
click to vote
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...