1456 search results - page 47 / 292 » The Layer-Independent Descriptor Concept |
118
Voted
JACM
2010
14 years 11 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
80
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
119
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
105
Voted
SACMAT
2010
ACM
14 years 11 months ago
2010
ACM
Role mining from the existing permissions has been widely applied to aid the process of migrating to an RBAC system. While all permissions are treated evenly in previous approache...