Sciweavers

1053 search results - page 34 / 211
» Hierarchies and levels of reality
Sort
View
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
14 years 1 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
NAR
2000
111views more  NAR 2000»
13 years 8 months 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
14 years 2 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
14 years 12 days 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
14 years 8 days 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