Sciweavers

8337 search results - page 1358 / 1668
» Reasoning With Characteristic Models
Sort
View
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 10 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
PODS
1997
ACM
72views Database» more  PODS 1997»
15 years 10 months ago
OLAP and Statistical Databases: Similarities and Differences
During the 1980's there was a lot of activity in the area of Statistical Databases, focusing mostly on socio-economic type applications, such as census data, national product...
Arie Shoshani
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
15 years 10 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
SIGIR
2010
ACM
15 years 10 months ago
Understanding web browsing behaviors through Weibull analysis of dwell time
Dwell time on Web pages has been extensively used for various information retrieval tasks. However, some basic yet important questions have not been sufficiently addressed, e.g., ...
Chao Liu, Ryen W. White, Susan T. Dumais
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 10 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
« Prev « First page 1358 / 1668 Last » Next »