280 search results - page 20 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
154
Voted
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
131
click to vote
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
136
Voted
SERP
2007
15 years 4 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
127
Voted
EMNLP
2011
14 years 3 months ago
2011
Open Information Extraction (IE) is the task of extracting assertions from massive corpora without requiring a pre-specified vocabulary. This paper shows that the output of state...
116
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...