Sciweavers

4126 search results - page 467 / 826
» Relationships with other Formalisms
Sort
View
SAINT
2006
IEEE
16 years 24 days ago
MAAY: A Decentralized Personalized Search System
This paper focuses on decentralized personalized search engines. It is composed of three parts. Firstly, we formulate the problem and we propose a graph-based measure of quality o...
Frederic Dang Ngoc, Joaquín Keller, Gwendal...
WCRE
2006
IEEE
16 years 24 days ago
An Analysis of the Correctness and Completeness of Aspect Weaving
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
Günter Kniesel, Uwe Bardey
JCDL
2006
ACM
137views Education» more  JCDL 2006»
16 years 22 days ago
Exploring digital libraries: integrating browsing, searching, and visualization
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Ricard...
BIRTHDAY
2005
Springer
16 years 10 days ago
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
Hans Jürgen Ohlbach
CCS
2005
ACM
16 years 10 days ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...