3239 search results - page 204 / 648 » A Logical Process Calculus |
129
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
92
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...
125
Voted
ECSQARU
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
112
click to vote
TCS
2002
15 years 3 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
117
Voted
ICIAP
1997
ACM
15 years 7 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...