1307 search results - page 120 / 262 » Follow the intellectual property |
102
click to vote
EKAW
1997
Springer
15 years 5 months ago
1997
Springer
: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different a...
128
click to vote
OOPSLA
1997
Springer
15 years 5 months ago
1997
Springer
A new garbage collection algorithm for distributed object systems, called DMOS (Distributed Mature Object Space), is presented. It is derived from two previous algorithms, MOS (Ma...
121
click to vote
CCL
1994
Springer
15 years 5 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
105
click to vote
APSEC
2007
IEEE
15 years 5 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
120
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...