3733 search results - page 21 / 747 » Logics of communication and change |
SWWS
2008
13 years 11 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
ICLP
2009
Springer
14 years 4 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
ISCC
2003
IEEE
14 years 3 months ago
2003
IEEE
Perfect Secrecy can only be achieved in multicast groups by ciphering data sent to the group with a different key every time a member joins or leaves the group. A Key Server must ...
ICCCN
1998
IEEE
14 years 2 months ago
1998
IEEE
We consider multihop communications on optical torus networks with time