1636 search results - page 195 / 328 » Reasoning About Quantum Systems |
158
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
166
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
159
click to vote
DIMACS
1996
15 years 7 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
138
click to vote
DAGSTUHL
1994
15 years 7 months ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
211
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...