3081 search results - page 593 / 617 » A Formal Ontology of Properties |
206
click to vote
HASKELL
2009
ACM
16 years 18 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
166
click to vote
CDC
2008
IEEE
16 years 17 days ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
154
click to vote
SCAM
2008
IEEE
16 years 14 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
138
click to vote
ATAL
2007
Springer
16 years 8 days ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....
161
click to vote
ATVA
2007
Springer
16 years 8 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...