10238 search results - page 431 / 2048 » Package-Based Software Development |
191
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
169
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
259
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
200
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...
169
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...