1202 search results - page 128 / 241 » Sortings for Reactive Systems |
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
138
click to vote
RML
2002
15 years 4 months ago
2002
The emergence of the Internet has changed the way in which many aspects of business are conducted. One such aspect, that of resource discovery, is being changed by the development ...
165
click to vote
JSA
2008
15 years 4 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
141
click to vote
DLOG
2010
15 years 2 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
145
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
In order to reduce the rejection rate of our automatic reading system, we propose to pre-classify the business documents by introducing an Automatic Recognition of Documents stage...