1428 search results - page 41 / 286 » aim 2010 |
ENTCS
2007
14 years 10 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
14 years 10 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
14 years 10 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
14 years 10 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...
75
Voted
ENTCS
2007
14 years 10 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...