3319 search results - page 169 / 664 » Type Theoretical Databases |
GI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
GI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract: P2P Meeting Tool is a meeting management tool, which uses Peer-toPeer technology to realise a pervasive computing environment. Users can search for and join a meeting ses...
GI
2001
Springer
15 years 2 months ago
2001
Springer
Abstract: This paper presents the information aggregation methods enabling cost- and QoS-aware service deployment. It is expected that network management tools will require the net...
92
Voted
TLCA
2001
Springer
15 years 2 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
92
Voted
FOCS
2000
IEEE
15 years 2 months ago
2000
IEEE
The data stream model has recently attracted attention for its applicability to numerous types of data, including telephone records, web documents and clickstreams. For analysis o...