Sciweavers

2796 search results - page 177 / 560
» A time structure based software reliability model
Sort
View
119
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
130
Voted
INTERSPEECH
2010
14 years 10 months ago
Prosodic timing analysis for articulatory re-synthesis using a bank of resonators with an adaptive oscillator
A method for the analysis of prosodic-level temporal structure is introduced. The method is based on measured phase angles of an oscillator as that oscillator is made to synchroni...
Michael C. Brady
134
Voted
IJCAI
2007
15 years 5 months ago
Representations for Action Selection Learning from Real-Time Observation of Task Experts
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
Mark A. Wood, Joanna Bryson
173
Voted
COMSIS
2010
15 years 1 months ago
A domain-specific language for defining static structure of database applications
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
Igor Dejanovic, Gordana Milosavljevic, Branko Peri...
143
Voted
ECOOPW
1998
Springer
15 years 8 months ago
Mapping Business Processes to Software Design Artifacts
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
Pavel Hruby