4460 search results - page 717 / 892 » Formal methods for interactive systems |
134
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
168
click to vote
ICTAI
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
120
click to vote
ICAIL
1995
ACM
15 years 7 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
130
click to vote
WSC
2007
15 years 6 months ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
138
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...