Sciweavers

4600 search results - page 502 / 920
» Presenting the cyclotactor project
Sort
View
181
Voted
TSE
2010
125views more  TSE 2010»
15 years 5 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
284
Voted
VL
2010
IEEE
196views Visual Languages» more  VL 2010»
15 years 5 months ago
Smart Objects for Intelligent Applications - ADK
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
Jesus Fernandez Gomez-Pimpollo, Raul Otaolea
VTC
2010
IEEE
259views Communications» more  VTC 2010»
15 years 5 months ago
User Multiplexing in Relay Enhanced LTE-Advanced Networks
—The 3rd Generation Partnership Project has recently started the standardization process for LTE-Advanced, as a major evolution step of UTRAN LTE Release 8. One of the key enhanc...
Oumer M. Teyeb, Frank Frederiksen, Vinh Van Phan, ...
239
Voted
WINET
2010
176views more  WINET 2010»
15 years 5 months ago
An improved mechanism for multiple MBMS sessions assignment in B3G cellular networks
In Universal Mobile Telecommunication System (UMTS), the downlink capacity is limited by the base station transmission power. Therefore, power control plays an important role to mi...
Antonios G. Alexiou, Christos Bouras, Vasileios Ko...
166
Voted
ACL
2010
15 years 4 months ago
WebLicht: Web-Based LRT Services for German
This software demonstration presents WebLicht (short for: Web-Based Linguistic Chaining Tool), a webbased service environment for the integration and use of language resources and...
Erhard W. Hinrichs, Marie Hinrichs, Thomas Zastrow