253 search results - page 32 / 51 » Formal analysis of timed continuous Petri nets |
96
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
103
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
118
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
134
Voted
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...