Sciweavers

159 search results - page 20 / 32
» Specified Blocks
Sort
View
ICSE
2004
IEEE-ACM
14 years 10 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
WWIC
2009
Springer
157views Communications» more  WWIC 2009»
14 years 4 months ago
An Adaptive Optimized RTO Algorithm for Multi-homed Wireless Environments
As a transport layer protocol SCTP uses end to end metrics, such as Retransmission Time Out (RTO), to manage mobility handover. Our investigation illustrates that Wireless LAN (WLA...
Sheila Fallon, Paul Jacob, Yuansong Qiao, Liam Mur...
ICC
2007
IEEE
131views Communications» more  ICC 2007»
14 years 4 months ago
A Two-phase Approach for Dynamic Lightpath Scheduling in WDM Optical Networks
— Lightpath scheduling is an important capability in next-generation wavelength-division multiplexing (WDM) optical networks to reserve resources in advance for a specified time ...
Lu Shen, Xi Yang, Ajay Kumar Todimala, Byrav Ramam...
ISQED
2006
IEEE
118views Hardware» more  ISQED 2006»
14 years 3 months ago
Language-Based High Level Transaction Extraction on On-chip Buses
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...
Yi-Le Huang, Chun-Yao Wang, Richard Yeh, Shih-Chie...
CCGRID
2005
IEEE
14 years 3 months ago
A dynamically adaptive hybrid algorithm for scheduling lightpaths in lambda-grids
This paper focuses on the scheduling of multiple-wavelength lightpaths and outlines an algorithm to provide increased simultaneous allocations of lightpaths on the Lambda-Grid. Se...
Neena R. Kaushik, Silvia M. Figueira