454 search results - page 66 / 91 » Modeling and analysis of multi-agent systems using petri net... |
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
73
Voted
DSRT
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
107
click to vote
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
BMCBI
2008
14 years 9 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...