923 search results - page 153 / 185 » Proving the value of formal methods |
177
click to vote
SCP
1998
15 years 5 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
164
click to vote
ICDCS
2007
IEEE
16 years 15 days ago
2007
IEEE
Event detection is a crucial task for wireless sensor network applications, especially environment monitoring. Existing approaches for event detection are mainly based on some pre...
187
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— The need for efficient counter architecture has arisen for the following two reasons. Firstly, a number of data streaming algorithms and network management applications requir...
169
click to vote
FOCS
2006
IEEE
16 years 7 days ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...
176
click to vote
DICTA
2003
15 years 7 months ago
2003
Abstract. Mahalanobis distance has already proved its strength in human skin detection using a set of skin values. We present this work that uses automatic skin detection after an ...