647 search results - page 128 / 130 » Extending middleware frameworks for Wireless Sensor Networks |
ENTCS
2007
13 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
This paper investigates fundamental properties of Marker-based Vision (MBV) systems. We present a theoretical analysis of the performance of basic tag designs which is extended th...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
1 —the European Union (EU) Framework Program 7 (FP7) funded project, iTETRIS [1] (An Integrated Wireless and Traffic Platform for Real-Time Road Traffic Management Solutions) tar...
COMGEO
2010
ACM
13 years 5 months ago
2010
ACM
The vision of an integrated Earth observation system to help protect and sustain the planet and its inhabitants is significant and timely, and thus has been identified recently by...