454 search results - page 62 / 91 » Modeling and analysis of multi-agent systems using petri net... |
WOSP
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
108
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
STTT
2008
15 years 1 months ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
108
click to vote
SFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
196
click to vote
CMSB
2011
Springer
14 years 1 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...