10910 search results - page 1889 / 2182 » Input modeling using a computer algebra system |
200
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
348
click to vote
SACMAT
2011
ACM
14 years 8 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de...
211
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
221
click to vote
CRYPTO
2011
Springer
14 years 5 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
145
click to vote
ISMAR
2007
IEEE
16 years 9 days ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...