Sciweavers

1312 search results - page 186 / 263
» Embedded contract languages
Sort
View
112
Voted
SIGMOD
2004
ACM
128views Database» more  SIGMOD 2004»
16 years 3 months ago
A TeXQuery-Based XML Full-Text Search Engine
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...
Chavdar Botev, Jayavel Shanmugasundaram, Sihem Ame...
PERCOM
2009
ACM
15 years 10 months ago
Opening Pervasive Computing to the Masses Using the SEAP Middleware
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
Seth Holloway, Drew Stovall, Jorge Lara-Garduno, C...
123
Voted
HYBRID
2009
Springer
15 years 10 months ago
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
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...
Patrick Martin, Magnus Egerstedt
109
Voted
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 10 months ago
Towards a formal semantics for the AADL behavior annex
—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...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 9 months ago
Compositional specification of behavioral semantics
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...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema