12107 search results - page 2038 / 2422 » Software That Can Think |
213
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
163
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
196
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
166
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
188
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Denoting by P = [k]G the elliptic-curve double-and-add multiplication of a public base point G by a secret k, we show that allowing an adversary access to the projective representa...