Sciweavers

2638 search results - page 257 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
IJVR
2008
119views more  IJVR 2008»
15 years 6 months ago
Agent-based Intelligence Decision Support System for Virtual Greenhouse
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
Wei Wei, Xinyu Guo, Shenglian Lu, Chunjiang Zhao
CSFW
2010
IEEE
15 years 10 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
CADE
2003
Springer
16 years 7 months ago
Foundational Certified Code in a Metalogical Framework
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
Karl Crary, Susmit Sarkar
TFS
2008
116views more  TFS 2008»
15 years 6 months ago
Fuzzifying Allen's Temporal Interval Relations
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
ICCBR
2005
Springer
16 years 5 days ago
Evaluation and Monitoring of the Air-Sea Interaction Using a CBR-Agents Approach
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
Javier Bajo, Juan M. Corchado