7918 search results - page 391 / 1584 » Model Composition Directives |
176
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
157
click to vote
TSP
2010
15 years 25 days ago
2010
Both direct and indirect methods exist for identifying continuous-time linear systems. A direct method estimates continuous-time input and output signals from their samples and the...
145
click to vote
EICS
2009
ACM
16 years 20 days ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
157
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
173
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...