7529 search results - page 1163 / 1506 » The Modula-3 Type System |
158
Voted
DEXA
1999
Springer
15 years 11 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
245
Voted
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
171
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
172
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
One of the few quantitative metrics used to evaluate the security of a cryptographic file system is the key length of the encryption algorithm; larger key lengths correspond to hig...
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...