1363 search results - page 36 / 273 » On some Relations between Dynamical Systems and Transition S... |
COMMA
2010
14 years 4 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
HUMAN
2005
Springer
15 years 3 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol that is featured ‘multi-homing.’ The mSCTP (mobile SCTP) is defined as SCTP with the capabili...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...