1358 search results - page 50 / 272 » Proceedings |
BIRTHDAY
2000
Springer
14 years 2 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Over the past five years, the topic of the origins of language is gaining prominence as one of the big unresolved questions of cognitive science. Artificial Intelligenc...
HT
1999
ACM
14 years 2 months ago
1999
ACM
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...