2451 search results - page 358 / 491 » The Octagon Abstract Domain |
146
click to vote
ADMA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
128
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...
149
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
132
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
133
click to vote
ANSS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...