3820 search results - page 322 / 764 » Bounded Model Debugging |
169
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
149
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...
124
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents a novel methodology for finding the network connectivity in wireless mesh networks while taking into account dependencies existing between links of geometri...
141
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
132
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The need to change software easily to meet evolving business requirements is urgent, and a radical shift is required in the development of software, with a more demand-centric vie...