8600 search results - page 1548 / 1720 » Measuring with Timed Patterns |
185
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
234
click to vote
CASES
2004
ACM
16 years 9 days ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
204
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
161
click to vote
ISAAC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The rendezvous problem in graphs has been extensively studied in the literature, mainly using a randomized approach. Two mobile agents have to meet at some node of a conn...
185
click to vote
VLDB
2004
ACM
16 years 6 days ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...