7961 search results - page 580 / 1593 » Input-Output Model Programs |
190
click to vote
IWIA
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
195
click to vote
ICCS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
186
click to vote
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
184
click to vote
ECAI
2004
Springer
16 years 25 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
218
click to vote
ICLP
2003
Springer
16 years 19 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...