Sciweavers

1216 search results - page 116 / 244
» Translation analysis and translation automation
Sort
View
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
11 years 10 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
FASE
2005
Springer
14 years 1 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
IWBRS
2005
Springer
139views Biometrics» more  IWBRS 2005»
14 years 1 months ago
Combining Wavelet Velocity Moments and Reflective Symmetry for Gait Recognition
Abstract. Gait is a biometric feature and gait recognition has become a challenging problem in computer vision. New wavelet velocity moments have been developed to describe and rec...
Guoying Zhao, Li Cui, Hua Li
ICFEM
1998
Springer
14 years 10 days ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
VTC
2010
IEEE
404views Communications» more  VTC 2010»
13 years 6 months ago
Power Efficient Dynamic Resource Scheduling Algorithms for LTE
: This paper presents a link level analysis of the rate and energy efficiency performance of the LTE downlink considering the unitary codebook based precoding scheme. In a multi-us...
Congzheng Han, Kian Chung Beh, Marios Nicolaou, Si...