Sciweavers

1053 search results - page 34 / 211
» Hierarchies and levels of reality
Sort
View
99
Voted
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
15 years 5 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
107
Voted
NAR
2000
111views more  NAR 2000»
15 years 18 days ago
ProtoMap: automatic classification of protein sequences and hierarchy of protein families
The ProtoMap site offers an exhaustive classification of all proteins in the SWISS-PROT database, into groups of related proteins. The classification is based on analysis of all p...
Golan Yona, Nathan Linial, Michal Linial
VIZSEC
2004
Springer
15 years 6 months ago
Managing attack graph complexity through visual hierarchical aggregation
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
Steven Noel, Sushil Jajodia
CAISE
2006
Springer
15 years 4 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
EUROPAR
2000
Springer
15 years 4 months ago
Automatic Generation of Block-Recursive Codes
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
Nawaaz Ahmed, Keshav Pingali