Sciweavers

2435 search results - page 215 / 487
» GPSS - 40 years of development
Sort
View
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
INFORMATICALT
2007
71views more  INFORMATICALT 2007»
15 years 6 months ago
Forecast Model of Impact of Meteorological Factors on Coronary Artery Disease Patients
Abstract. A medical-meteorological weather assessment using hybrid spatial classification of synoptic and meteorological data was done. Empirical models for assessment as well as ...
Arvydas Martinkenas, Vytautas Kaminskas, Giedrius ...
IPL
2007
105views more  IPL 2007»
15 years 6 months ago
Improving the arithmetic of elliptic curves in the Jacobi model
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
Sylvain Duquesne
JBI
2007
138views Bioinformatics» more  JBI 2007»
15 years 6 months ago
Towards knowledge-based gene expression data mining
ct 10 The field of gene expression data analysis has grown in the past few years from being purely data-centric to integrative, aiming at 11 complementing microarray analysis with...
Riccardo Bellazzi, Blaz Zupan
TSMC
2008
90views more  TSMC 2008»
15 years 6 months ago
Roles in Information Systems: A Survey
Role-based approaches are emerging technologies in information system design and implementation. Roles have been acknowledged and applied in many fields for many years. Considerin...
Haibin Zhu, MengChu Zhou