408 search results - page 74 / 82 » Relation Algebras for Reasoning about Time and Space |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In order to develop intelligent systems that attain the trust of their users, it is important to understand how users perceive such systems and develop those perceptions over time...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
SYNTHESE
2010
13 years 7 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Packet filtering plays a critical role in the performance of many network devices such as firewalls, IPSec gateways, DiffServ and QoS routers. A tremendous amount of research...
FOAL
2008
ACM
13 years 10 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...