Sciweavers

7924 search results - page 968 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
NBIS
2009
Springer
16 years 14 hour ago
A Security Framework for JXTA-Overlay
At present time, the maturity of P2P research field has pushed through new problems such us those related with security. For that reason, security starts to become one of the key...
Joan Arnedo-Moreno, Keita Matsuo, Leonard Barolli,...
CEEMAS
2001
Springer
15 years 12 months ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
Krzysztof Gajos
CP
2001
Springer
15 years 12 months ago
Partially Ordered Constraint Optimization Problems
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
Marco Gavanelli
ESOP
2001
Springer
15 years 12 months ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 12 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...