BMCBI
2010
13 years 5 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
ATAL
1999
Springer
13 years 9 months ago
1999
Springer
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...