1454 search results - page 187 / 291 » Stateful traits and their formalization |
204
click to vote
MSCS
2006
15 years 6 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
164
click to vote
IJDE
2007
15 years 6 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
163
click to vote
IJUFKS
2007
15 years 6 months ago
2007
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science an...
185
click to vote
CMOT
2000
15 years 6 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
150
click to vote
JSS
2002
15 years 6 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...