3468 search results - page 362 / 694 » An open logical framework |
128
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...
139
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Many content-oriented applications require a scalable text index. Building such an index is challenging. In addition to the logic of inserting and searching documents, developers ...
118
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
137
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
111
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...