Sciweavers

531 search results - page 56 / 107
» On Modeling and Analyzing Cost Factors in Information System...
Sort
View
ISCIS
2004
Springer
14 years 2 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
DATE
2007
IEEE
108views Hardware» more  DATE 2007»
14 years 3 months ago
Speeding up SystemC simulation through process splitting
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
Youssef N. Naguib, Rafik S. Guindi
HT
2004
ACM
14 years 2 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
CIARP
2003
Springer
14 years 2 months ago
Online Handwritten Signature Verification Using Hidden Markov Models
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
Juan J. Igarza, Iñaki Goirizelaia, Koldo Es...
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
14 years 3 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot