1585 search results - page 120 / 317 » A framework for computer-aided validation |
119
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose an Integer Programming (IP) framework to undertake the dedicated photolithography machine constraint in semiconductor manufacturing. The constraint is one of the new ch...
105
click to vote
SIBGRAPI
2007
IEEE
15 years 9 months ago
2007
IEEE
Most direct manipulation tasks rely on precise placements of the cursor on the object of interest. Commonly, this requires the knowledge of distinct application-dependent geometry...
141
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
149
click to vote
PERSUASIVE
2007
Springer
15 years 9 months ago
2007
Springer
The success of many online services today depends on the company’s ability to persuade users to take specific actions, such as registering or inviting friends. We examined over 5...
123
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
As functionality is added to an ageing piece of software, its original design and structure tends to erode. The underlying forces which cause such degradation have been the subject...