6432 search results - page 336 / 1287 » Classic Mechanism Design |
144
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
170
click to vote
CAISE
2003
Springer
15 years 12 months 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 ...
135
click to vote
ERCIMDL
2003
Springer
15 years 12 months 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...
154
click to vote
DSN
2002
IEEE
15 years 11 months 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...
135
click to vote
CDC
2009
IEEE
15 years 11 months 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...