Sciweavers

2648 search results - page 169 / 530
» Worlds, Models, and KM
Sort
View
SAINT
2007
IEEE
16 years 24 days ago
Peer-to-Peer Economics for Post Catastrophic Recovery
Post-catastrophic recovery is gaining more importance to human societies. This paper proposes use of a distributed autonomous economic medium to support recovery of communities af...
Yoshihiko Suko, Eiichi Morino, Susumu Takahashi, T...
CBSE
2007
Springer
16 years 21 days ago
Data Encapsulation in Software Components
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
Kung-Kiu Lau, Faris M. Taweel
ICLP
2001
Springer
15 years 11 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
MAAMAW
1999
Springer
15 years 10 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 10 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein