Sciweavers

3384 search results - page 46 / 677
» More Testable Properties
Sort
View
ICC
2008
IEEE
120views Communications» more  ICC 2008»
14 years 3 months ago
Invariance Property of Isotropic Random Walk Mobility Patterns in Mobile Ad-Hoc Networks
—The class of isotropic random walk mobility models, including Random Direction mobility model, Random Walk mobility model and Brownian motion mobility model, has been widely use...
Han Cai, Chul-Ho Lee, Do Young Eun
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 2 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
NIME
2005
Springer
119views Music» more  NIME 2005»
14 years 2 months ago
REMUPP - An Interactive Tool for Investigating Musical Properties and Relations
A typical experiment design within the field of music psychology is playing music to a test subject who listens and reacts – most often by verbal means. One limitation of this k...
Johnny Wingstedt, Mats Liljedahl, Stefan Lindberg,...
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
14 years 2 months ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
WORDS
2003
IEEE
14 years 1 months ago
Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
Stephen S. Yau, Yu Wang, Dazhi Huang