4767 search results - page 146 / 954 » Structures for Abstract Rewriting |
135
click to vote
IDEAS
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
149
click to vote
ICOODB
2009
15 years 5 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
116
click to vote
VIROLOGY
2010
14 years 9 months ago
2010
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
118
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
119
click to vote
OHS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...