384 search results - page 51 / 77 » On the Semantics of Markov Automata |
119
click to vote
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
129
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Pattern mining algorithms are often much easier applied than quantitatively assessed. In this paper we address the pattern evaluation problem by looking at both the capability of ...
103
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
115
Voted
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
133
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...