1816 search results - page 239 / 364 » Trace oblivious computation |
SAC
2009
ACM
14 years 3 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
ICCSA
2009
Springer
14 years 3 months ago
2009
Springer
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
PAM
2009
Springer
14 years 3 months ago
2009
Springer
Despite a large amount of effort devoted in the past years trying to limit unsolicited mail, spam is still a major global concern. Content-analysis techniques and blacklists, the m...
PAM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Due to the significant increase of peer-to-peer (P2P) traffic in the past few years, more attentions are put on designing effective methodologies of monitoring and ide...
PERVASIVE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...