1428 search results - page 41 / 286 » aim 2010 |
ENTCS
2007
13 years 8 months ago
2007
Traditional access control mechanisms aim to prevent illegal actions a-priori occurrence, i.e. before granting a request for a document. There are scenarios however where the secu...
ENTCS
2007
13 years 8 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
ENTCS
2007
13 years 8 months ago
2007
The aim of the sudoku puzzle (also known as number place in the United States) is to enter a numeral from 1 through 9 in each cell of a grid, most frequently a 9 × 9 grid made up...
ENTCS
2007
13 years 8 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
ENTCS
2007
13 years 8 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...