2171 search results - page 249 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
153
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
164
click to vote
ICCD
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...
170
click to vote
AIPS
2004
15 years 8 months ago
2004
Coordinated action for a team of robots is a challenging problem, especially in dynamic, unpredictable environments. Robot soccer is an instance of a domain where well defined goa...
156
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
167
click to vote
MVA
2008
15 years 6 months ago
2008
In this paper, we propose a framework that can efficiently combine features for robust tracking based on fusing the outputs of multiple spatiogram trackers. This is achieved withou...