Sciweavers

2827 search results - page 92 / 566
» CCured in the real world
Sort
View
HICSS
1998
IEEE
90views Biometrics» more  HICSS 1998»
14 years 2 months ago
Real-Time New Product Development in Financial Services: Some Managerial Implications
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
Pete Naudé, Ian D. Blackman, S. Dengler
ISSRE
2010
IEEE
13 years 8 months ago
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
Cristiano Bertolini, Alexandre Mota, Eduardo Aranh...
FM
1997
Springer
126views Formal Methods» more  FM 1997»
14 years 2 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
RTSS
2006
IEEE
14 years 4 months ago
Mutual Consistency in Real-Time Databases
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham
DATESO
2008
156views Database» more  DATESO 2008»
13 years 11 months ago
Developing Genetic Algorithms for Boolean Matrix Factorization
Matrix factorization or factor analysis is an important task helpful in the analysis of high dimensional real world data. There are several well known methods and algorithms for fa...
Václav Snásel, Jan Platos, Pavel Kr&...