7103 search results - page 214 / 1421 » Program Generation and Components |
122
Voted
BIOINFORMATICS
2006
15 years 2 months ago
2006
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
149
Voted
CACM
1999
15 years 2 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
118
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...
197
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
116
Voted
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...