Sciweavers

1147 search results - page 76 / 230
» Termination in language-based systems
Sort
View
HCI
2009
13 years 7 months ago
Changes of HCI Methods towards the Development Process of Wearable Computing Solutions
Logistics is a dynamic and heterogeneous application area for wearable computing. In this paper, wearable computing technologies are examined as basis for a support system for mobi...
Ingrid Rügge, Carmen Ruthenbeck, Bernd Scholz...
VTC
2007
IEEE
132views Communications» more  VTC 2007»
14 years 4 months ago
Collaborative Information Revelation and Collusion in "Word-of-Mouth" Access Selection Schemes
— “Word-of-Mouth”, a novel scheme for sharing the service quality experienced with different local networks, is presented and evaluated as a distributed solution for performi...
Pietro Lungaro
FDL
2007
IEEE
14 years 4 months ago
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
Daniel Große, Hernan Peraza, Wolfgang Klinga...
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
14 years 2 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
PRDC
2005
IEEE
14 years 3 months ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott