14161 search results - page 2641 / 2833 » On generalized middle-level problem |
234
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
146
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
213
click to vote
SSD
2007
Springer
16 years 18 days ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
184
click to vote
SSS
2007
Springer
16 years 18 days ago
2007
Springer
We consider Cooperative Intrusion Detection System (CIDS) which is a distributed AIS-based (Artificial Immune System) IDS where nodes collaborate over a peer-to-peer overlay netwo...
192
click to vote
TARK
2007
Springer
16 years 18 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...