Sciweavers

2796 search results - page 177 / 560
» A time structure based software reliability model
Sort
View
MEMOCODE
2006
IEEE
16 years 15 days 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...
INTERSPEECH
2010
15 years 1 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
IJCAI
2007
15 years 8 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
COMSIS
2010
15 years 3 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...
ECOOPW
1998
Springer
15 years 10 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