Sciweavers

11397 search results - page 238 / 2280
» A Relational Abstraction for Functions
Sort
View
FAC
2007
90views more  FAC 2007»
15 years 7 months ago
Responsiveness and stable revivals
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
Joy N. Reed, A. W. Roscoe, J. E. Sinclair
AI
2005
Springer
15 years 7 months ago
Fast Protein Superfamily Classification Using Principal Component Null Space Analysis
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
Leon French, Alioune Ngom, Luis Rueda
INFORMATICALT
2007
71views more  INFORMATICALT 2007»
15 years 7 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 ...
IWSEC
2010
Springer
15 years 5 months ago
Security Metrics and Security Investment Models
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
Rainer Böhme
WOA
2010
15 years 5 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...