299 search results - page 49 / 60 » Mechanizing common knowledge logic using COQ |
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Overlay Networks (ONs) are logical networks built on top of a physical network with the aim of moving part of the routing complexity to the application layer. At the same time, sen...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
SIGOPSE
2004
ACM
14 years 28 days ago
2004
ACM
In this paper we argue that the best approach to providing Quality of Service (QoS) guarantees to current Internet services is to use admission control and traffic shaping techni...
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Flow based analysis of network traffic is commonly used to analyze and understand security-related events. Graphical analysis helps analysts detect patterns or behaviors that woul...
BCSHCI
2009
13 years 8 months ago
2009
Previous research has investigated how people either navigate the web as a whole, or find information on websites of which they have little previous knowledge. However, it is now ...