96 search results - page 6 / 20 » se 2008 |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
IPM
2007
14 years 9 months ago
2007
Search Engine for South-East Europe (SE4SEE) is a socio-cultural search engine running on the grid infrastructure. It offers a personalized, on-demand, country-specific, categor...
SE
2008
14 years 11 months ago
2008
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
SE
2008
14 years 11 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...