827 search results - page 17 / 166 » Patterns for Timed Property Specifications |
ASSETS
2008
ACM
15 years 3 months ago
2008
ACM
Many individuals diagnosed with autism and Down syndrome have difficulties producing intelligible speech. Systematic analysis of their voice parameters could lead to better unders...
114
Voted
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Node mobility has a direct impact on the performance evaluation of various network mobility protocols. Unfortunately, most of the analysis on mobility protocols used Rand...
107
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
124
Voted
HCI
2009
14 years 11 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
131
click to vote
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...