2056 search results - page 347 / 412 » Detecting Errors in Spreadsheets |
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
EUROCRYPT
2000
Springer
15 years 1 months ago
2000
Springer
The use of quantum bits (qubits) in cryptography holds the promise of secure cryptographic quantum key distribution schemes. Unfortunately, the implemented schemes are often operat...
105
click to vote
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
The ability to carry out biometric authentication using generic cameras can be extremely useful for a variety of applications, especially in mobile devices. Palmprint based authen...
AIIDE
2008
15 years 7 days ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...