748 search results - page 123 / 150 » Applying WinWin to Quality Requirements: A Case Study |
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
WSC
2000
14 years 10 months ago
2000
Optimizing a semiconductor wafer fab requires balancing technology and productivity. Recent work on productivity modeling will be described and focus on discrete event simulation ...
99
Voted
GLOBECOM
2008
IEEE
14 years 9 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
91
Voted
IS
2008
14 years 9 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
80
Voted
CPHYSICS
2007
14 years 9 months ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...