493 search results - page 17 / 99 » types 1998 |
ICMAS
1998
15 years 1 months ago
1998
To be successful in open, multi-agent environments, autonomous agents must be capable of adapting their negotiation strategies and tactics to their prevailing circumstances. To th...
102
click to vote
IWMMDBMS
1998
15 years 1 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...
106
click to vote
LACL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
110
click to vote
ICFEM
1998
Springer
15 years 4 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
100
click to vote
CCS
1998
ACM
15 years 4 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...