Sciweavers

16218 search results - page 480 / 3244
» Standards
Sort
View
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 7 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
CORR
2006
Springer
89views Education» more  CORR 2006»
15 years 7 months ago
On the Efficiency of Strategies for Subdividing Polynomial Triangular Surface Patches
In this paper, we investigate the efficiency of various strategies for subdividing polynomial triangular surface patches. We give a simple algorithm performing a regular subdivisio...
Jean H. Gallier
CPHYSICS
2006
109views more  CPHYSICS 2006»
15 years 7 months ago
Comparison of time splitting and backsubstitution methods for integrating Vlasov's equation with magnetic fields
The standard approach for integrating the multidimensional Vlasov equation using grid based, conservative schemes is based on a time splitting approach. Here, we show that althoug...
H. Schmitz, R. Grauer
ENTCS
2006
146views more  ENTCS 2006»
15 years 7 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
123views more  ENTCS 2006»
15 years 7 months ago
Nonmonotonic Trust Management for P2P Applications
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etal...