3994 search results - page 657 / 799 » A Linear Logical Framework |
191
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
By providing an integrated and optimized support for user-defined aggregates (UDAs), data stream management systems (DSMS) can achieve superior power and generality while preservi...
212
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
193
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
174
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
158
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
Telecommunications network management has attracted a lot of attention in terms of research and standardisation in the last decade. TMN and TINA architectural frameworks try to add...