4839 search results - page 678 / 968 » A survey of computational complexity results in systems and ... |
162
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
150
click to vote
ICAC
2005
IEEE
16 years 12 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
196
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
217
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
Body sensor networks are emerging as a promising platform for remote human monitoring. With the aim of extracting bio-kinematic parameters from distributed body-worn sensors, thes...
189
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
ThunderDome is a system for collaboratively measuring upload bandwidths in ad-hoc peer-to-peer systems. It works by scheduling bandwidth probes between pairs of hosts, wherein eac...