10682 search results - page 2020 / 2137 » A Graph Based Process Representation for Process Modeling |
162
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
151
click to vote
JSW
2008
15 years 4 months ago
2008
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...
148
click to vote
JGTOOLS
2006
15 years 4 months ago
2006
We render tree foliage levels of detail (LODs) using a new adaptation of billboard clouds. Our contributions are a simple and efficient billboard cloud creation algorithm designed...
145
click to vote
ECRA
2007
15 years 4 months ago
2007
Online auctions are rapidly becoming one of the significant forms of electronic commerce for buying and selling goods and services. A good understanding of the workload of auctio...
151
click to vote
JSA
2006
15 years 4 months ago
2006
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...