1096 search results - page 137 / 220 » Computation Slicing: Techniques and Theory |
EUROCRYPT
2012
Springer
11 years 11 months ago
2012
Springer
This paper proposes the first inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the definition by Katz...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
CASC
2006
Springer
14 years 1 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We introduce MySong, a system that automatically chooses chords to accompany a vocal melody. A user with no musical experience can create a song with instrumental accompaniment ju...