16216 search results - page 2997 / 3244 » Effective Modeling with Constraints |
182
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
178
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a novel hybrid method combining genetic programming and decision tree learning. The method starts by estimating a benchmark level of reasonable accuracy, based ...
145
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
There is a growing trend in the cognitive sciences to conceive of cognitive behavior as being distributed across brain, body and environment. However, the implications of such dist...
180
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
215
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...