6432 search results - page 336 / 1287 » Classic Mechanism Design |
159
Voted
ASIAN
2003
Springer
16 years 23 days ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
192
click to vote
CAISE
2003
Springer
16 years 23 days ago
2003
Springer
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...
151
Voted
ERCIMDL
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. In contrast to electronic document collections we find in contemporary digital libraries, systems applied in a cultural domain have to satisfy specific requirements wit...
166
click to vote
DSN
2002
IEEE
16 years 15 days ago
2002
IEEE
A masquerade attack, in which one user impersonates another, can be the most serious form of computer abuse. Automatic discovery of masqueraders is sometimes undertaken by detecti...
157
Voted
CDC
2009
IEEE
16 years 7 days ago
2009
IEEE
— Instantaneous charge/flux transfers may occur in switched electrical circuits when the switch configuration changes. Characterization of such state discontinuities is a class...