Sciweavers

1003 search results - page 69 / 201
» A modeling approach and reference models for the analysis of...
Sort
View
JUCS
2008
120views more  JUCS 2008»
13 years 8 months ago
Guaranteeing Seamless Mobility with User Redials and Automatic Handover Retrials
: In communication systems that guarantee seamless mobility of users across service areas, repeated attempts occur as a result of user behavior but also as automatic retries of blo...
José Manuel Giménez-Guzmán, M...
EHCI
1998
13 years 9 months ago
Toward the Automatic Construction of Task Models from Object-Oriented Diagrams
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
Shijian Lu, Cécile Paris, Keith Vander Lind...
BMCBI
2008
107views more  BMCBI 2008»
13 years 8 months ago
A machine learning approach to explore the spectra intensity pattern of peptides using tandem mass spectrometry data
Background: A better understanding of the mechanisms involved in gas-phase fragmentation of peptides is essential for the development of more reliable algorithms for high-throughp...
Cong Zhou, Lucas D. Bowler, Jianfeng Feng
ICST
2008
IEEE
14 years 2 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
MMB
1999
Springer
249views Communications» more  MMB 1999»
14 years 6 days ago
A Development Platform for the Design and Optimization of Mobile Radio Networks
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
Jürgen Deissner, Gerhard Fettweis, Jörg ...