Sciweavers

38 search results - page 2 / 8
» Secure Dependencies with Dynamic Level Assignments
Sort
View
ROBOCUP
2004
Springer
121views Robotics» more  ROBOCUP 2004»
13 years 10 months ago
Exploring Auction Mechanisms for Role Assignment in Teams of Autonomous Robots
We are exploring the use of auction mechanisms to assign roles within a team of agents operating in a dynamic environment. Depending on the degree of collaboration between the agen...
Vanessa Frías-Martínez, Elizabeth Sk...
DBSEC
2008
137views Database» more  DBSEC 2008»
13 years 7 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
PLDI
2004
ACM
13 years 11 months ago
Cost effective dynamic program slicing
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
Xiangyu Zhang, Rajiv Gupta
AIMS
2008
Springer
13 years 7 months ago
A Role-Based Infrastructure for the Management of Dynamic Communities
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
Alberto E. Schaeffer Filho, Emil Lupu, Morris Slom...
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
13 years 9 months ago
Energy minimization using multiple supply voltages
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
Jui-Ming Chang, Massoud Pedram