501 search results - page 17 / 101 » Diagram Techniques for Confluence |
133
Voted
CCCG
2001
15 years 3 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
107
click to vote
ICECCS
1995
IEEE
15 years 5 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
127
Voted
ICECCS
1998
IEEE
15 years 6 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
116
Voted
FUIN
2006
15 years 1 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
109
Voted
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...