Sciweavers

3061 search results - page 233 / 613
» integration 2006
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Solution Strategies for Multi-domain Constraint Logic Programs
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk ...
EUROCRYPT
2006
Springer
15 years 10 months ago
The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
We show that, in the ideal-cipher model, triple encryption (the cascade of three independently-keyed blockciphers) is more secure than single or double encryption, thereby resolvin...
Mihir Bellare, Phillip Rogaway
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 10 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 10 months ago
Indirect co-evolution for understanding belief in an incomplete information dynamic game
This study aims to design a new co-evolution algorithm, Mixture Co-evolution which enables modeling of integration and composition of direct co-evolution and indirect coevolution....
Nanlin Jin
BSN
2006
IEEE
126views Sensor Networks» more  BSN 2006»
15 years 8 months ago
DC Behavior of Conductive Fabric Networks with Application to Wearable Sensor Nodes
Wearable monitoring networks are designed to augment and improve daily life. These systems require sensors and various electrical components to be mounted on the body. We propose ...
Eric Wade, H. Harry Asada