3719 search results - page 337 / 744 » RACER System Description |
213
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
247
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Modern storage systems are sophisticated. Simple directattached storage devices are giving way to storage systems that are shared, flexible, virtualized and network-attached. Toda...
207
Voted
BIRTHDAY
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
202
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...
152
Voted
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We explore the situation in which documents have to be categorized into more than one category system, a situation we refer to as multiple-view categorization. More particularly, ...