1937 search results - page 122 / 388 » Starting B Specifications from Use Cases |
183
click to vote
WISEC
2010
ACM
15 years 9 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
142
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
177
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
139
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
129
click to vote
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we will consider tight upper- and lower-bounds on the weight of the optimal matching for random point sets distributed among the leaves of a tree, as a function of it...