Sciweavers

1678 search results - page 231 / 336
» An ASM Specification of C
Sort
View
ASWEC
2009
IEEE
15 years 4 months ago
Integrated Data Mapping for a Software Meta-tool
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
Jun Huh, John C. Grundy, John G. Hosking, Karen Na...
CISC
2009
Springer
199views Cryptology» more  CISC 2009»
15 years 4 months ago
Cryptanalysis of Certificateless Signcryption Schemes and an Efficient Construction without Pairing
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Ra...
GRAPHICSINTERFACE
2009
15 years 4 months ago
Heart rate control of exercise video games
Exercise video games combine entertainment and physical movement in an effort to encourage people to be more physically active. Multiplayer exercise games take advantage of the mo...
Tadeusz Stach, T. C. Nicholas Graham, Jeffrey Yim,...
HCI
2009
15 years 4 months ago
Long Term Repair of Learning Disability through Short-Term Reduction of CNS Inhibition
Learning disabilities are serious societal problems contributing to a loss of quality of life for affected individuals and their families. We hypothesized that the learning disabil...
H. Craig Heller, Damien Colas, Norman F. Ruby, Fab...
ICANN
2009
Springer
15 years 4 months ago
Mining Rules for the Automatic Selection Process of Clustering Methods Applied to Cancer Gene Expression Data
Different algorithms have been proposed in the literature to cluster gene expression data, however there is no single algorithm that can be considered the best one independently on...
André C. A. Nascimento, Ricardo Bastos Cava...