Sciweavers

3605 search results - page 172 / 721
» Analysis and Applications of the XDI model
Sort
View
TSMC
2002
114views more  TSMC 2002»
15 years 6 months ago
Exploiting design information to derive object distribution models
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
Sandeep Purao, Hemant K. Jain, Derek L. Nazareth
INFORMS
2010
107views more  INFORMS 2010»
15 years 5 months ago
A Class Representative Model for Pure Parsimony Haplotyping
Haplotyping estimation from aligned Single Nucleotide Polymorphism (SNP) fragments has attracted more and more attention in the recent years due to its importance in analysis of m...
Daniele Catanzaro, Alessandra Godi, Martine Labb&e...
STTT
2010
122views more  STTT 2010»
15 years 4 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
WAW
2010
Springer
231views Algorithms» more  WAW 2010»
15 years 4 months ago
Modeling Traffic on the Web Graph
Abstract. Analysis of aggregate and individual Web requests shows that PageRank is a poor predictor of traffic. We use empirical data to characterize properties of Web traffic not ...
Mark R. Meiss, Bruno Gonçalves, Jose J. Ram...
IBPRIA
2003
Springer
15 years 11 months ago
Chromosome Classification Using Continuous Hidden Markov Models
Up-to-date results on the application of Markov models to chromosome analysis are presented. On the one hand, this means using continuous Hidden Markov Models (HMMs) instead of dis...
César Martínez, Héctor Garc&i...