Sciweavers

789 search results - page 79 / 158
» A Formal Model for Epistemic Interactions
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
ICNC
2005
Springer
14 years 1 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
EGOV
2003
Springer
14 years 1 months ago
Structuring Dialogue between the People and Their Representatives
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
BPM
2006
Springer
150views Business» more  BPM 2006»
13 years 11 months ago
Towards a Methodology for Deriving Contract-Compliant Business Processes
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...
WWW
2006
ACM
14 years 2 months ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan