2196 search results - page 97 / 440 » Practical Reasoning Using Values |
124
click to vote
IV
2009
IEEE
15 years 9 months ago
2009
IEEE
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
145
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
135
Voted
SAC
2002
ACM
15 years 1 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
114
click to vote
SAINT
2003
IEEE
15 years 7 months ago
2003
IEEE
Caching frequently accessed data items on the client side is an effective technique to improve the system performance in wireless networks. Due to cache size limitations, cache re...
ENTCS
2008
15 years 2 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...