Learn More
Multiagent applications will appear more and more in open, heterogeneous, evolving and distributed environments, such as the Internet. In order to run in such environments, agents will need to adapt themselves to new platforms and protocols. We propose a model of agents that are able to run, communicate and move between different multiagent platforms. This(More)
To succeed, agents need to become part of legacy and future systems that are not agent oriented. That means agents must be able to run (and migrate) on servers that are not based on multi-agent platforms. Also, agents will have to be able to communicate using languages and protocols that are not dedicated to them, such as HTML. Last, agents need to be able(More)
An approach for combined modeling of role-based access control systems (RBAC) together with business workflows is presented. The model allows to model check various security properties. Several techniques to confine the state explosion, which may occur during model checking are presented and experimentally evaluated using the model checker Spin. The(More)
Completely automatic generation of tests from formal executable test models of industrial size still looks like a “holy grail”, in spite of significant progress in model-based testing research and tool development. Realizing this, we follow a more down-to-earth approach by assuming that, even if a test model is available, the test expert(More)
We present an approach to the inference of automata models of web-based business applications using only execution traces recording the externally observable behavior of such applications. The proposed approach yields behavioral models representing both the control flow of an application and the data variations corresponding to different types of users. We(More)
  • A DURY
  • Circulation research
  • 1957
Epinephrine overdosage in intact rabbits caused significant modifications in plasma lipid distribution and transport, and phospholipid metabolism of plasma, liver and aorta. Aortic phospholipid synthesis was accelerated shortly after epinephrine injection and persisted for 24 hours, but plasma and liver turnover rates were maximally elevated after 4S hours.(More)