Sciweavers

989 search results - page 69 / 198
» HowNet and Its Computation of Meaning
Sort
View
CW
2005
IEEE
15 years 10 months ago
Data Integration for Virtual Enterprise in Cyberworlds
Virtual Enterprise enables companies to collaborate through sharing of resources, and therefore allows them to enjoy the benefits of virtual integration. The essence of Virtual En...
Cheng Leong Ang, Robert Kheng Leng Gay, Olga Souri...
IPPS
2005
IEEE
15 years 10 months ago
A Distributed Procedure for Bandwidth-Centric Scheduling of Independent-Task Applications
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
Cyril Banino
ISPAN
2005
IEEE
15 years 10 months ago
A Fast Noniterative Scheduler for Input-Queued Switches with Unbuffered Crossbars
Most high-end switches use an input-queued or a combined input- and output-queued architecture. The switch fabrics of these architectures commonly use an iterative scheduling syst...
Kevin F. Chen, Edwin Hsing-Mean Sha, S. Q. Zheng
BIRTHDAY
2005
Springer
15 years 10 months ago
a-logic
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
Murdoch Gabbay, Michael Gabbay
COORDINATION
2005
Springer
15 years 10 months ago
Delegation Modeling with Paradigm
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
Luuk Groenewegen, Niels van Kampenhout, Erik P. de...