735 search results - page 83 / 147 » Modeling the Propagation of User Preferences |
DSN
2004
IEEE
14 years 2 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
APCCM
2009
14 years 8 days ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
ICDE
2011
IEEE
13 years 2 months ago
2011
IEEE
— In many applications involving the multiple criteria optimal decision making, users may often want to make a personal trade-off among all optimal solutions. As a key feature, t...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
— In this paper, we develop, analyze and implement a congestion control scheme obtained in a noncooperative game framework where each user’s cost function is composed of a pric...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
— This paper analyzes a communication network with heterogeneous customers. We investigate priority queueing as a way to differentiate between these users. Customers join the net...