Sciweavers

1580 search results - page 192 / 316
» Non-Interference Through Determinism
Sort
View
SEKE
2009
Springer
14 years 2 months ago
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
Peter Henderson, Matthew J. Henderson
ICN
2001
Springer
14 years 2 months ago
Optimal Provisioning and Pricing of Internet Differentiated Services in Hierarchical Markets
Abstract— Network service providers contract with network owners for connection rights, then offer individual users network access at a price. Within this hierarchy, the service ...
Errin W. Fulp, Douglas S. Reeves
IWANN
2001
Springer
14 years 2 months ago
Neurobiological Modeling of Bursting Response During Visual Attention
: Thalamic neurons have an exclusive property named bursting response. Bursting response seems to have a critical role in producing saliency map and encoding conspicuity of locatio...
Reza Rajimehr, Leila Montaser Kouhsari
JSAI
2001
Springer
14 years 2 months ago
Optimistic Priority Weights with an Interval Comparison Matrix
: AHP is proposed to give the importance grade with respect to many items. The comparison value that is the element of a comparison matirx is used to be crisp, however, it is easy ...
Tomoe Entani, Hidetomo Ichihashi, Hideo Tanaka
OOPSLA
2001
Springer
14 years 2 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder