3429 search results - page 186 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
168
Voted
TOCL
2012
13 years 5 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
127
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
146
Voted
EDBT
2008
ACM
15 years 4 months ago
2008
ACM
The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...
105
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
234
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...