Sciweavers

1460 search results - page 31 / 292
» Very Lightweight Requirements Modeling
Sort
View
SIMVIS
2007
13 years 11 months ago
Clipmap-based Terrain Data Synthesis
Satellite images of the earth are currently commercially available in resolutions from 14.25m (Landsat 7) up to 0.61m (QuickBird). Visualizing large terrains or whole planets at t...
Malte Clasen, Hans-Christian Hege
HPDC
1997
IEEE
14 years 1 months ago
A Directory Service for Configuring High-Performance Distributed Computations
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
Steven Fitzgerald, Ian T. Foster, Carl Kesselman, ...
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
14 years 3 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King
ICCSA
2005
Springer
14 years 3 months ago
Data Protection Based on Physical Separation: Concepts and Application Scenarios
Data protection is an increasingly important issue in today’s communication networks. Traditional solutions for protecting data when transferred over a network are almost exclusi...
Stefan Lindskog, Karl-Johan Grinnemo, Anna Brunstr...
ICSOC
2009
Springer
13 years 7 months ago
Flexible SLA Negotiation Using Semantic Annotations
Abstract. Moving towards a global market of services requires flexible infrastructures that will deal with the inevitable semantic heterogeneity that occurs during the negotiation ...
Henar Muñoz Frutos, Ioannis Kotsiopoulos, A...