6527 search results - page 966 / 1306 » On Typing Information Flow |
223
click to vote
ACSAC
2002
IEEE
16 years 16 days ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
198
Voted
MDM
2010
Springer
16 years 11 days ago
2010
Springer
—Location information is necessarily uncertain when objects are constantly moving. The cost can be high to maintain precise locations at the application server for all the object...
236
click to vote
CIKM
2009
Springer
16 years 6 days ago
2009
Springer
Traditional ranking mainly focuses on one type of data source, and effective modeling still relies on a sufficiently large number of labeled or supervised examples. However, in m...
207
click to vote
LPNMR
2001
Springer
16 years 18 hour ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
164
click to vote
SIGUCCS
2000
ACM
15 years 12 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...