314 search results - page 50 / 63 » Cubical token systems |
107
click to vote
ICDS
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
105
click to vote
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper investigates a novel concept of providing seamless control and portability of an IPTV viewing session. A solution employing a middleware system, a secure hardware token...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
125
click to vote
KIVS
2001
Springer
15 years 4 months ago
2001
Springer
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
133
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...