Sciweavers

2880 search results - page 199 / 576
» context 2007
Sort
View
170
Voted
ICIW
2007
IEEE
15 years 5 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
AMAI
2007
Springer
15 years 5 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
CORR
2007
Springer
102views Education» more  CORR 2007»
15 years 5 months ago
Time Series Forecasting: Obtaining Long Term Trends with Self-Organizing Maps
Kohonen self-organisation maps are a well know classification tool, commonly used in a wide variety of problems, but with limited applications in time series forecasting context....
Geoffroy Simon, Amaury Lendasse, Marie Cottrell, J...
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 5 months ago
Finding low-weight polynomial multiples using discrete logarithm
— Finding low-weight multiples of a binary polynomial is a difficult problem arising in the context of stream ciphers cryptanalysis. The best algorithms to solve this problem ar...
Frédéric Didier, Yann Laigle-Chapuy
CORR
2007
Springer
75views Education» more  CORR 2007»
15 years 5 months ago
Polyhedral representation conversion up to symmetries
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. In particular we discuss decompo...
David Bremner, Mathieu Dutour Sikiric, Achill Sch&...