2251 search results - page 181 / 451 » Specification and Implementation Problems for C |
123
click to vote
USENIX
2007
15 years 6 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
134
click to vote
USS
2008
15 years 6 months ago
2008
Automated bot/botnet detection is a difficult problem given the high level of attacker power. We propose a systematic approach for evaluating the evadability of detection methods....
166
click to vote
HPCNCS
2007
15 years 5 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
151
click to vote
MP
2008
15 years 4 months ago
2008
The simplex algorithm computes the simplex multipliers by solving a system (or two triangular systems) at each iteration. This note offers an efficient approach to updating the sim...
181
click to vote
ENTCS
2002
15 years 3 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...