1037 search results - page 182 / 208 » Compositional Variability - Concepts and Patterns |
120
click to vote
TCS
2008
15 years 2 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
175
Voted
TMC
2008
15 years 2 months ago
2008
Integrating mobile computing and localized user interaction into the Internet requires more than simply overcoming pure routing challenges. Apart from issues such as intermittent c...
TROB
2008
15 years 2 months ago
2008
This paper describes a method for providing in real time a reliable synchronization signal for cyclical motions such as steady-state walking. The approach consists in estimating on...
116
click to vote
TVCG
2010
15 years 25 days ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
163
Voted
ISVD
2010
IEEE
15 years 11 days ago
2010
IEEE
An interesting property of the Voronoi tessellation is studied in the context of its application to the analysis of hydration shells in computer simulation of solutions. Namely the...