20 search results - page 3 / 4 » Kinetic Data Structures: Animating Proofs Through Time |
107
click to vote
EWSN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We target application domains where the behavior of animals or humans is monitored using wireless sensor network (WSN) devices. The code on these devices is updated frequ...
121
click to vote
CEC
2010
IEEE
14 years 4 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
DAGSTUHL
2001
14 years 11 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
LISA
2007
14 years 12 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...