789 search results - page 47 / 158 » A Formal Model for Epistemic Interactions |
IRI
2005
IEEE
14 years 1 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
SP
2010
IEEE
14 years 1 days ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
SYNASC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
IFM
1999
Springer
14 years 13 days ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
TAMODIA
2008
13 years 9 months ago
2008
Past research in task modeling suggests the need to introduce objects when using task models for the design of interactive applications. Objects are however rarely included in the ...