2613 search results - page 479 / 523 » Proposal for Tools Supporting Component Based Programming |
146
Voted
QEST
2010
IEEE
15 years 11 days ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
146
Voted
ENASE
2009
15 years 9 days ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
159
Voted
TOG
2012
13 years 5 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
150
click to vote
EON
2003
15 years 3 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
125
click to vote
ICIW
2008
IEEE
15 years 9 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...