10870 search results - page 1875 / 2174 » Model Checking Programs |
165
click to vote
UM
2007
Springer
16 years 24 days ago
2007
Springer
Active participation of a person in a community is a powerful indicator of the person's interests, preferences, beliefs and (often) social and demographic context. Community m...
170
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
163
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
159
click to vote
ICDCSW
2006
IEEE
16 years 22 days ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
225
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...