4273 search results - page 611 / 855 » Improving proactive information systems |
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
130
click to vote
ESE
2006
15 years 4 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
159
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Peer-to-peer systems offer attractive system management properties, including the ability of components that join the network to self-organize; scalability up to tens of thousands...
178
click to vote
TWC
2008
15 years 4 months ago
2008
Abstract-- Multiuser diversity gains can be achieved by assigning channels to users with better channel quality in multiuser systems. To avoid the extensive information exchange re...
120
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Top-k queries are a popular type of query in Wireless Sensor Networks. Typical solutions rely on coordinated root-tonodes and nodes-to-root messages and on maintaining filters at...