Formal Model of Activities As a Segment of Organizational Stock of Knowledge
Dubravka Ćećez-Kecmanović, Olivera Kruševac, Radivoj Petrović (1992)
The Yugoslav Journal of Operations Research
Similarity:
Dubravka Ćećez-Kecmanović, Olivera Kruševac, Radivoj Petrović (1992)
The Yugoslav Journal of Operations Research
Similarity:
Thuy Duong Vu (2009)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property...
Amelia Bădică, Costin Bădică (2011)
International Journal of Applied Mathematics and Computer Science
Similarity:
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters...
Dragan Mišić, Dragan Domazet, Miroslav Trajanović, Miodrag Manić, Milan Zdravković (2010)
Computer Science and Information Systems
Similarity:
Cristiano Castelfranchi (1996)
Mathware and Soft Computing
Similarity:
The paper is devoted to the structural relation between beliefs and goals. I discuss its importance in modelling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); its crucial role in rationality, mediating between epistemic and pragmatic rationality; its role in goal Dynamics. I stress the crucial contribution of the supporting beliefs to the Processing of goals; to the Revision of goals (or Dynamics in a narrow sense), i.e. the...
Toufik Taibi, David Ngo (2003)
International Journal of Applied Mathematics and Computer Science
Similarity:
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined...
Narahari Rao (1997)
Philosophia Scientiae
Similarity:
Kuno Lorenz (1997)
Philosophia Scientiae
Similarity:
Carro, Rosa María, Pulido, Estrella, Rodríguez, Pilar (2000)
Electronic Journal of SADIO [electronic only]
Similarity:
Božidar Radenković, Aleksandar Marković, Zoran Radojičić (1996)
The Yugoslav Journal of Operations Research
Similarity: