Sciweavers

873 search results - page 93 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
JCC
2006
39views more  JCC 2006»
15 years 6 months ago
A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan
Abstract: Possible reaction mechanisms of 1,3-silyl and 1,3-hydrogen thermal rearrangements of trimethylsilyl-1pyrazoline and its model systems were theoretically explored using B3...
Chultack Lim, Hee Soon Lee, Young-Woo Kwak, Cheol ...
CDC
2010
IEEE
148views Control Systems» more  CDC 2010»
15 years 1 months ago
Convergence rates of consensus algorithms in stochastic networks
Abstract-- We study the convergence rate of average consensus algorithms in networks with stochastic communication failures. We show how the system dynamics can be modeled by a dis...
Stacy Patterson, Bassam Bamieh
SPIRE
2004
Springer
15 years 11 months ago
Indexing Text Documents Based on Topic Identification
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...
Manonton Butarbutar, Susan McRoy
UML
2005
Springer
15 years 11 months ago
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
Jacky Estublier, Germán Vega, Anca Daniela ...
UTP
2010
15 years 4 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel