4839 search results - page 137 / 968 » A survey of computational complexity results in systems and ... |
123
click to vote
TCS
2011
14 years 8 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
115
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— While underactuated robotic systems are capable of energy efficient and rapid dynamic behavior, we still do not fully understand how body dynamics can be actively used for ada...
124
click to vote
DAC
2006
ACM
15 years 7 months ago
2006
ACM
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
109
click to vote
ICDCSW
2005
IEEE
15 years 7 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
136
click to vote
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...