840 search results - page 159 / 168 » Universal Metadata Standard |
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
123
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
200
click to vote
AWPN
2008
15 years 1 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
86
Voted
INTERACT
2007
15 years 1 months ago
2007
Desktop environments have proven to be a powerful user interface and are used as the de facto standard human-computer interaction paradigm for over 40 years. However, there is a ri...
117
click to vote
SODA
2008
ACM
15 years 1 months ago
2008
ACM
This paper considers a general setting for structured procurement and the problem a buyer faces in designing a procurement mechanism to maximize profit. This brings together two a...