Sciweavers

1864 search results - page 21 / 373
» Formal topology and domains
Sort
View
SIGGRAPH
1995
ACM
14 years 1 months ago
Modeling surfaces of arbitrary topology using manifolds
We describe an extension of B-splines to surfacesof arbitrary topology, including arbitrary boundaries. The technique inherits many of the properties of B-splines: local control, ...
Cindy Grimm, John F. Hughes
NPL
2002
120views more  NPL 2002»
13 years 9 months ago
A Novel Measure for Quantifying the Topology Preservation of Self Organizing Feature Maps
Recently, feature maps have been applied to various problem domains.The success of some of these applications critically depends on whether feature maps are topologically ordered. ...
Mu-Chun Su, Hsiao-Te Chang, Chien-Hsing Chou
PDPTA
2003
13 years 11 months ago
The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
CCS
2009
ACM
14 years 10 months ago
Formalizing information security knowledge
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
Stefan Fenz, Andreas Ekelhart
HPCNCS
2007
13 years 11 months ago
A Formal Approach for Identity Management in Federated Web Services
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...