Sciweavers

3729 search results - page 286 / 746
» On Formal Modeling of Agent Computations
Sort
View
ISN
1994
Springer
121views Communications» more  ISN 1994»
15 years 10 months ago
Management of Optical Networks: SNMP Agents Enabling TMN
: With the advent of Optical Networks, an important opportunity for the application of Telecommunication Management Network (TMN) framework emerges. At present, most such networks ...
Abilio Carvalho, Fausto de Carvalho, George Pavlou
ICC
2009
IEEE
161views Communications» more  ICC 2009»
15 years 4 months ago
Energy-Efficient Itinerary Planning for Mobile Agents in Wireless Sensor Networks
Compared to conventional wireless sensor networks (WSNs) that are operated based on the client-server computing model, mobile agent (MA) systems provide new capabilities for energy...
Min Chen, Victor C. M. Leung, Shiwen Mao, Taekyoun...
ECAI
2004
Springer
16 years 1 days ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
AAAI
2000
15 years 8 months ago
Towards a Logic-Based Theory of Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
Philippe Besnard, Anthony Hunter
IAT
2010
IEEE
15 years 4 months ago
Risk Analysis in Access Control Systems Based on Trust Theories
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
J. Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski