14331 search results - page 169 / 2867 » On the modeling and analysis of obligations |
161
click to vote
CIDM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many real-world applications have problems when learning from imbalanced data sets, such as medical diagnosis, fraud detection, and text classification. Very few minority clas...
244
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
152
click to vote
GLOBECOM
2008
IEEE
16 years 27 days ago
2008
IEEE
— Unwanted and malicious messages dominate Email traffic and pose a great threat to the utility of email communications. Reputation systems have been getting momentum as the sol...
167
click to vote
DSN
2007
IEEE
16 years 24 days ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
169
click to vote
ANSS
2006
IEEE
16 years 15 days ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...