6253 search results - page 254 / 1251 » Use Case Modeling Guidelines |
116
Voted
RTS
2008
15 years 3 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
145
Voted
ENASE
2010
14 years 10 months ago
2010
Domain Specific Modeling (DSM) has been used for a while in many scenarios, case studies, and applications successfully. This paper intends to present a new application of DSM for ...
131
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
131
Voted
AAI
2004
15 years 3 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
114
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper focuses on a solution to better adapt ASR systems, whose language models (LM) are usually trained on topic-independent corpora, to new topics, in particular in the case...