3584 search results - page 363 / 717 » Design considerations for a network of information |
159
click to vote
ACSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
156
click to vote
CGO
2005
IEEE
16 years 14 days ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
150
click to vote
NSPW
2004
ACM
16 years 8 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
200
Voted
COORDINATION
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
189
click to vote
GISCIENCE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...