Sciweavers

4615 search results - page 818 / 923
» Virtual Classes and Their Implementation
Sort
View
ICC
2009
IEEE
118views Communications» more  ICC 2009»
15 years 3 months ago
Downlink Resource Allocation for OFDMA-Based Multiservice Networks with Imperfect CSI
Abstract--This paper addresses practical implementation issues of resource allocation in OFDMA networks: inaccuracy of channel state information (CSI) available to the resource all...
Mohamad Khattar Awad, Veluppillai Mahinthan, Mehri...
ICSE
2009
IEEE-ACM
15 years 3 months ago
CocoViz with ambient audio software exploration
For ages we used our ears side by side with our ophthalmic stimuli to gather additional information, leading and supporting us in our visualization. Nowadays numerous software vis...
Sandro Boccuzzo, Harald Gall
ICST
2009
IEEE
15 years 3 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
AISS
2010
93views more  AISS 2010»
15 years 3 months ago
Kindergarten-Family Collaboration Model (KFCM) to Support Raising Children
Kindergartens have been expected to take on a new role of child-raising support due to changes in the social environment such as declining birthrate and deregulation. A web page c...
Tomoya Kato
AMAI
2010
Springer
15 years 3 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart