43 search results - page 2 / 9 » Canonical Institutions of Behaviour |
ENTCS
2008
14 years 9 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
IJDSST
2010
14 years 6 months ago
2010
Abstract: CASPUR allows many academic Italian institutions located in the CentreSouth of Italy to access more than 7 million of articles through a digital library platform. We anal...
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
In recent years, researchers in graph mining have been exploring linear paths as well as subgraphs as pattern languages. In this paper, we are investigating the middle ground betw...
105
click to vote
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...