3008 search results - page 242 / 602 » Information and Control in Gray-Box Systems |
166
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...
248
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
192
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
193
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
197
click to vote
ECOOPW
2001
Springer
15 years 11 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...