25218 search results - page 288 / 5044 » A Logic-Based Information System |
223
click to vote
REST
2010
ACM
15 years 9 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
211
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
197
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
198
click to vote
DSN
2009
IEEE
16 years 2 months ago
2009
IEEE
Active operating system fingerprinting is the process of actively determining a target network system’s underlying operating system type and characteristics by probing the targ...
