8828 search results - page 1497 / 1766 » Formal methods in practice |
168
click to vote
SPAA
2003
ACM
15 years 12 months ago
2003
ACM
We consider the practical problem of task assignment in a server farm, where each arriving job is immediately dispatched to a server in the farm. We look at the benefit of cycle ...
181
click to vote
ADC
2003
Springer
15 years 12 months ago
2003
Springer
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...
180
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
158
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
193
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...