9145 search results - page 1432 / 1829 » Description Logic Systems |
164
click to vote
ISCC
2005
IEEE
16 years 14 days ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
198
click to vote
IV
2005
IEEE
16 years 14 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
151
click to vote
RTSS
2005
IEEE
16 years 14 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
190
click to vote
TLDI
2005
ACM
16 years 13 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
207
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...