Sciweavers

142 search results - page 26 / 29
» Frameworks Based on Templates for Rigorous Model-driven Deve...
Sort
View
AUTOMATICA
2008
95views more  AUTOMATICA 2008»
13 years 8 months ago
Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
Antoine Chaillet, Antonio Loría
CN
2007
142views more  CN 2007»
13 years 7 months ago
Performance modeling of epidemic routing
In this paper, we develop a rigorous, unified framework based on ordinary differential equations (ODEs) to study epidemic routing and its variations. These ODEs can be derived a...
Xiaolan Zhang, Giovanni Neglia, James F. Kurose, D...
TSMC
2011
289views more  TSMC 2011»
13 years 2 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
ICDE
2011
IEEE
232views Database» more  ICDE 2011»
12 years 11 months ago
XClean: Providing valid spelling suggestions for XML keyword queries
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
Yifei Lu, Wei Wang, Jianxin Li, Chengfei Liu
JCB
2008
170views more  JCB 2008»
13 years 7 months ago
Efficiently Identifying Max-Gap Clusters in Pairwise Genome Comparison
The spatial clustering of genes across different genomes has been used to study important problems in comparative genomics, from identification of operons to detection of homologo...
Xu Ling, Xin He, Dong Xin, Jiawei Han