3706 search results - page 593 / 742 » KtSeqC: System Description |
212
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
With the popularization of GPS-enabled devices there is an increasing interest for location-based queries. In this context, one interesting problem is processing top-k spatial key...
184
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
176
click to vote
DLOG
2004
15 years 8 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
191
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
171
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...