10038 search results - page 1822 / 2008 » Model Checking for Managers |
137
click to vote
KDD
1997
ACM
15 years 8 months ago
1997
ACM
When mining large databases, the data extraction problem and the interface between the database and data mining algorithm become important issues. Rather than giving a mining algo...
156
click to vote
ESORICS
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
119
click to vote
VLDB
1993
ACM
15 years 8 months ago
1993
ACM
Client disks ure a valuable resource that ure not adequately exploited by current client-server ciatabasesystems.In this papeG we propose the use of client disksfor caching databa...
136
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
156
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Needs-based analysis lies at the intersection of product marketing and new product development. It is the study of why consumers purchase and what they do with those purchases. In...