Sciweavers

1206 search results - page 29 / 242
» Modelling Information Systems as Object Societies
Sort
View
TRUST
2009
Springer
15 years 4 months ago
Remote Attestation of Attribute Updates and Information Flows in a UCON System
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
Mohammad Nauman, Masoom Alam, Xinwen Zhang, Tamlee...
ICEIS
2003
IEEE
15 years 3 months ago
QUEROM: An Object-Oriented Model to Rewriting Query Using Views
: We propose in this article an object-oriented approach to rewriting queries using views. Our approach aims to mitigate certain limitations of existing query rewriting approaches....
Abdelhak Seriai
DAGSTUHL
2007
14 years 11 months ago
Spatially Distributed Normative Objects
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
RAS
2006
111views more  RAS 2006»
14 years 9 months ago
Planning under uncertainty using model predictive control for information gathering
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
Cindy Leung, Shoudong Huang, Ngai Ming Kwok, Gamin...