Sciweavers

3686 search results - page 402 / 738
» Comprehensive comprehensions
Sort
View
114
Voted
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 9 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
134
Voted
SMALLTALK
2007
Springer
15 years 9 months ago
Feature driven browsing
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
David Röthlisberger, Orla Greevy, Oscar Niers...
134
Voted
SSD
2007
Springer
150views Database» more  SSD 2007»
15 years 9 months ago
Online Amnesic Summarization of Streaming Locations
Abstract. Massive data streams of positional updates become increasingly difficult to manage under limited memory resources, especially in terms of providing near real-time respons...
Michalis Potamias, Kostas Patroumpas, Timos K. Sel...
105
Voted
UIC
2007
Springer
15 years 9 months ago
Mobility Tracking for Mobile Ad Hoc Networks
In mobile ad hoc networks (MANETs), nodes mobility cause network topologies to change dynamically over time, which complicates important tasks such as broadcasting and routing. Mob...
Hui Xu, Min Meng, Jinsung Cho, Brian J. d'Auriol, ...
127
Voted
VAMOS
2007
Springer
15 years 9 months ago
Exploring the Dimensions of Variability: a Requirements Engineering Perspective
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
Sotirios Liaskos, Lei Jiang, Alexei Lapouchnian, Y...