7921 search results - page 1406 / 1585 » LSH-preserving functions and their applications |
168
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
173
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
203
click to vote
SENSYS
2004
ACM
15 years 12 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
181
click to vote
SIGMETRICS
2004
ACM
15 years 12 months ago
2004
ACM
The network tomography problem requires a remote source to estimate network-internal statistics on individual links within the network. Several techniques have been proposed to pe...
190
click to vote
VRML
2004
ACM
15 years 12 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...