8437 search results - page 557 / 1688 » Preferences over Sets |
207
click to vote
CONTEXT
2003
Springer
16 years 10 days ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
254
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
186
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
From 1985-1993, the MCNC regularly introduced and maintained circuit benchmarks for use by the Design Automation community. However, during the last five years, no new circuits h...
188
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
180
click to vote
CSCW
1996
ACM
15 years 11 months ago
1996
ACM
We describe a case study in which experimental collaboration technologies were used for over two years in the real, ongoing work process of intellectual property management (IPM) ...