20024 search results - page 3441 / 4005 » Database Management Systems |
187
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
202
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
219
click to vote
DSS
2008
15 years 7 months ago
2008
The rapid propagation of the Internet and information technologies has changed the nature of many industries. Fast response and personalized recommendations have become natural tr...
189
click to vote
AIL
2006
15 years 7 months ago
2006
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
192
click to vote
ENTCS
2008
15 years 7 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...