3820 search results - page 707 / 764 » Bounded Model Debugging |
184
Voted
SECON
2008
IEEE
16 years 16 days ago
2008
IEEE
— What is the fastest rate at which we can collect a stream of aggregated data from a set of wireless sensors organized as a tree? We explore a hierarchy of techniques using real...
154
click to vote
FOCS
2007
IEEE
16 years 15 days ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
204
click to vote
RTSS
2007
IEEE
16 years 13 days ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
139
click to vote
COCOON
2007
Springer
16 years 10 days ago
2007
Springer
An r-component connected coloring of a graph is a coloring of the vertices so that each color class induces a subgraph having at most r connected components. The concept has been w...
207
click to vote
DNA
2007
Springer
16 years 10 days ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...