211 search results - page 40 / 43 » Linking Design Decisions to Design Models in Model-Based Sof... |
WSC
1998
13 years 8 months ago
1998
The IBM Supply Chain Simulator (SCS) is a software tool that can help a company or a group of companies make strategic business decisions about the design and operation of its sup...
ICFEM
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
UAI
2008
13 years 8 months ago
2008
User preferences for automated assistance often vary widely, depending on the situation, and quality or presentation of help. Developing effective models to learn individual prefe...
IPCCC
2007
IEEE
14 years 1 months ago
2007
IEEE
Rapidly-spreading malicious software is an important threat on today’s computer networks. Most solutions that have been proposed to counter this threat are based on our ability ...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...