Sciweavers

1353 search results - page 176 / 271
» Streamlined Constraint Reasoning
Sort
View
AI
1998
Springer
15 years 2 months ago
A Heuristic Incremental Modeling Approach to Course Timetabling
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
Don Banks, Peter van Beek, Amnon Meisels
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 2 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...
DEXAW
2004
IEEE
131views Database» more  DEXAW 2004»
15 years 1 months ago
Personalised E-Learning Opportunities - Call for a Pedagogical Domain Knowledge Model
A considerable amount of e-learning content is being delivered via virtual or managed learning environments. These platforms keep track of learners' activities including cont...
Alex G. Büchner, David W. Patterson
ATAL
2008
Springer
14 years 12 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
IJCAI
2003
14 years 11 months ago
A semantic framework for multimedia document adaptation
With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small scre...
Jérôme Euzenat, Nabil Layaïda, V...