3911 search results - page 293 / 783 » Using Operational Architecture to Model Embedded Software |
194
click to vote
ICSR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
149
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
155
click to vote
ISMAR
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose a simple method to express shading and shadowing of virtual objects in Mixed Reality especially appropriate for static architecture models in outdoor scenes. We create ...
203
Voted
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
167
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...