5064 search results - page 619 / 1013 » Recent Developments in Gridsolve |
156
click to vote
MMMACNS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
183
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
182
click to vote
PKDD
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
180
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
188
click to vote
ICN
2005
Springer
16 years 7 days ago
2005
Springer
Input Queued switches have been very well studied in the recent past. The Maximum Weight Matching (MWM) algorithm is known to deliver 100% throughput under any admissible traffic. ...