3582 search results - page 578 / 717 » Designing games with a purpose |
162
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
156
Voted
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
157
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
146
Voted
CARDIS
2006
Springer
15 years 10 months ago
2006
Springer
Most present symmetric encryption algorithms result from a tradeoff between implementation cost and resulting performances. In addition, they generally aim to be implemented effici...
189
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...