454 search results - page 49 / 91 » Modeling and analysis of multi-agent systems using petri net... |
137
click to vote
AICT
2005
IEEE
15 years 10 months ago
2005
IEEE
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
168
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
152
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
153
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
128
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...