4480 search results - page 549 / 896 » Prototyping Completion with Constraints Using Computational ... |
197
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
154
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
159
click to vote
ISWC
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
177
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
155
click to vote
POLICY
2004
Springer
16 years 1 days ago
2004
Springer
The management of the underlying network infrastructure, which supports the grid communications, is not proceeded through the same management systems used for the grid management....