Sciweavers

7918 search results - page 959 / 1584
» Model Composition Directives
Sort
View
PCI
2009
Springer
15 years 12 months ago
A Foundation for Defining Security Requirements in Grid Computing
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...
Antonios Gouglidis, Ioannis Mavridis
ESAW
2001
Springer
15 years 12 months ago
Engineering Infrastructures for Mobile Organizations
Mobile application components can be effectively and uniformly modeled in terms of autonomous agents moving across different context during execution. In this paper, we introduce a...
Giacomo Cabri, Letizia Leonardi, Marco Mamei, Fran...
ICALP
2001
Springer
15 years 12 months ago
Symbolic Trace Analysis of Cryptographic Protocols
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
Michele Boreale
FCCM
2000
IEEE
103views VLSI» more  FCCM 2000»
15 years 12 months ago
A Networked FPGA-Based Hardware Implementation of a Neural Network Application
This paper describes a networked FPGA-based implementation of the FAST (Flexible Adaptable-Size Topology) architecture, a Arti cial Neural Network (ANN) that dynamically adapts it...
Héctor Fabio Restrepo, Ralph Hoffmann, Andr...
GMP
2000
IEEE
148views Solid Modeling» more  GMP 2000»
15 years 12 months ago
Polyhedral Surface Smoothing with Simultaneous Mesh Regularization
A computer graphics object reconstructed from real-world data often contains undesirable noise and small-scale oscillations. An important problem is how to remove the noise and os...
Yutaka Ohtake, Alexander G. Belyaev, Ilia A. Bogae...