6020 search results - page 552 / 1204 » A New Approach to Model Counting |
208
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In the past five years there has been tremendous activity in rolebased access control (RBAC) models. Consensus has been achieved on a standard core RBAC model that is in ...
214
click to vote
UAI
2003
15 years 8 months ago
2003
Collaborative filtering is a very useful general technique for exploiting the preference patterns of a group of users to predict the utility of items to a particular user. Previou...
215
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
206
click to vote
EEE
2005
IEEE
16 years 22 days ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
196
click to vote
IDEAL
2004
Springer
16 years 14 days ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...