3811 search results - page 674 / 763 » The Safe-Tcl Security Model |
196
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
188
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
205
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
181
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
160
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...