Sciweavers

140 search results - page 8 / 28
» List Factoring and Relative Worst Order Analysis
Sort
View
VMCAI
2007
Springer
14 years 1 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
CAISE
2008
Springer
13 years 9 months ago
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
Although requirements analysis is acknowledged as a critical success factor of information system development for organizations, problems related to the requirements stage are freq...
José Luis de la Vara, Juan Sánchez, ...
TWC
2010
13 years 2 months ago
On the diversity order of non-orthogonal amplify-and-forward over block-fading channels
Abstract--In this paper, we deal with the performance of nonorthogonal Amplify-and-Forward protocols over block-fading channels (BFNAF), where the source retransmits the same data ...
Ioannis Krikidis, John S. Thompson, Steve McLaughl...
WWW
2009
ACM
14 years 8 months ago
Behavioral profiles for advanced email features
We examine the behavioral patterns of email usage in a large-scale enterprise over a three-month period. In particular, we focus on two main questions: (Q1) what do replies depend...
Thomas Karagiannis, Milan Vojnovic
AIRS
2005
Springer
14 years 28 days ago
The Empirical Impact of the Nature of Novelty Detection
Sentence level novelty detection aims at spotting sentences with novel information from an ordered sentence list. In the task, sentences appearing later in the list with no new me...
Le Zhao, Min Zhang, Shaoping Ma