3357 search results - page 594 / 672 » Controlling Complexity |
124
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
139
click to vote
FM
1997
Springer
15 years 5 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
124
click to vote
ICCBR
1997
Springer
15 years 5 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
117
click to vote
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
125
click to vote
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper we show the power of sampling techniques in designing efficient distributed algorithms. In particular, we show that using sampling techniques, on some networks, sele...