2905 search results - page 161 / 581 » Formal Memetic Algorithms |
PROCEDIA
2010
14 years 4 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
109
click to vote
TKDE
2012
13 years 15 days ago
2012
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
120
click to vote
TKDE
2012
13 years 15 days ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
SACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
102
click to vote
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...