Sciweavers

3179 search results - page 396 / 636
» Applications of PCF Theory
Sort
View
CCS
2008
ACM
13 years 11 months ago
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
Alessandro Armando, Roberto Carbone, Luca Compagna...
OR
2002
Springer
13 years 9 months ago
Copulae as a new tool in financial modelling
The paper presents an overview of financial applications of copulas. Copulas permit to represent joint distribution functions by splitting the marginal behavior, embedded in the ma...
Elisa Luciano, Marina Marena
GIS
2005
ACM
14 years 10 months ago
Use of rational numbers in the design of robust geometric primitives for three-dimensional spatial database systems
A necessary step in the implementation of three-dimensional spatial data types for spatial database systems and GIS is the development of robust geometric primitives. The authors ...
Brian E. Weinrich, Markus Schneider
ICSE
2008
IEEE-ACM
14 years 10 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...
WWW
2009
ACM
14 years 10 months ago
Collective privacy management in social networks
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
Anna Cinzia Squicciarini, Mohamed Shehab, Federica...