2362 search results - page 291 / 473 » Programming in Standard ML |
133
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
131
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
147
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
119
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
119
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...