5378 search results - page 965 / 1076 » Base Logics in Argumentation |
CSFW
2007
IEEE
14 years 25 days ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
DAC
2007
ACM
14 years 25 days ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
DEBS
2007
ACM
14 years 25 days ago
2007
ACM
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...
DEXAW
2007
IEEE
14 years 25 days ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
EATIS
2007
ACM
14 years 25 days ago
2007
ACM
Resource and service discovery, data transfer or replica management, are some examples of basic operations of a grid which can gain efficiency by using multicast transmission tech...