7430 search results - page 1084 / 1486 » Programming Applications in CIFF |
170
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
184
click to vote
SIGOPSE
2000
ACM
15 years 11 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
180
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
178
click to vote
CHES
2000
Springer
15 years 11 months ago
2000
Springer
Power analysis is a very successful cryptanalytic technique which extracts secret information from smart cards by analysing the power consumed during the execution of their interna...
192
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...