13553 search results - page 2285 / 2711 » A Generalized Multi-View Approach |
172
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
206
Voted
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
185
Voted
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
184
Voted
CCS
2007
ACM
16 years 27 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
187
Voted
CIKM
2007
Springer
16 years 27 days ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...