4211 search results - page 340 / 843 » A formal approach to MASQ |
152
click to vote
SIGCSE
2004
ACM
16 years 7 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
155
click to vote
WOSP
2004
ACM
16 years 7 days ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
165
click to vote
BPM
2004
Springer
16 years 6 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
169
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
262
click to vote
FAABS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...