Sciweavers

1460 search results - page 79 / 292
» Very Lightweight Requirements Modeling
Sort
View
GLOBECOM
2007
IEEE
15 years 10 months ago
Optimal Batch Scheduling in DVB-S2 Satellite Networks
—In this paper we present a new theoretical model to assess the performance of a class of batch scheduling orders in a forward DVB-S2 satellite link. The scheduling order in a DV...
G. T. Peeters, Benny Van Houdt, Chris Blondia
ENASE
2010
121views Hardware» more  ENASE 2010»
14 years 11 months ago
Generation Mechanisms in Graphical Template Language
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
Elina Kalnina, Audris Kalnins, Edgars Celms, Agris...
ICC
2008
IEEE
159views Communications» more  ICC 2008»
15 years 10 months ago
Link Scheduling and Power Control in Wireless Mesh Networks with Directional Antennas
— Directional antennas are very attractive in Wireless Mesh Networks (WMN). We study the problem of link scheduling and power control in a Time-Division Multiple Access (TDMA) WM...
Vishwanath Ramamurthi, Abu Ahmed Reaz, Sudhir S. D...
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IMCSIT
2010
14 years 11 months ago
Development of a Voice Control Interface for Navigating Robots and Evaluation in Outdoor Environments
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
Ravi Coote