1312 search results - page 186 / 263 » Embedded contract languages |
112
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We demonstrate an XML full-text search engine that implements the TeXQuery language. TeXQuery is a powerful fulltext search extension to XQuery that provides a rich set of fully c...
100
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
123
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
109
Voted
DATE
2009
IEEE
15 years 10 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...
135
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...