660 search results - page 48 / 132 » Reasoning about Dynamic Policies |
113
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
CW
2005
IEEE
15 years 5 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
174
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...
WSC
2007
15 years 2 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
100
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...