445 search results - page 25 / 89 » A Systematic Construction of Abstract Domains |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
COMPSAC
2001
IEEE
14 years 16 days ago
2001
IEEE
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...
PEPM
1994
ACM
14 years 29 days ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
TSMC
2002
13 years 8 months ago
2002
Abstract--In developing a tutoring system, one of the most difficult tasks is to collect tutoring knowledge from multiple educators, especially courses in which the contents change...