4693 search results - page 450 / 939 » Verifying Hybrid Systems |
192
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
221
click to vote
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
220
click to vote
ENASE
2009
15 years 4 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
208
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
202
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...