510 search results - page 4 / 102 » An Algebraic Framework for Urgency |
SMA
2008
ACM
14 years 11 months ago
2008
ACM
We present a generic framework on a set of surfaces S in
93
Voted
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
WAIM
2005
Springer
15 years 5 months ago
2005
Springer
It is well known that a formal framework for the schema matching problem (SMP) is important because it facilitates the building of algorithm model and the evaluation of algorithms....
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...