Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

125

FMSD
2010

111views more FMSD 2010»

Context-aware counter abstraction

15 years 6 days ago

Context-aware counter abstraction

Download www.kroening.com

aware counter abstraction G

Gérard Basler, Michele Mazzucchi, Thomas Wa

Real-time Traffic

Boolean Programs | FMSD 2010 | Local State | Multimedia | State Spaces |

claim paper

Related Content

» SAIL A Sensor Abstraction and Integration Layer for Context Awareness

» Using Similarity Measures for ContextAware User Interfaces

» ModelDriven Development of ContextAware Services

» A Taxonomy of Collaborative ContextAware Systems

» ContextAware Monitoring of Untrusted Mobile Applications

» Context Aware Calculation and Deduction

» On Uncertainty in ContextAware Computing Appealing to HighLevel and SameLevel Context for ...

» ContextAware Personalised Service Delivery

» BugFree Sensors The Automatic Verification of ContextAware TinyOS Applications

» ContextAwareness und rationale Risikowahrnehmung

Post Info
More Details (n/a)

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	FMSD
Authors	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Comments (0)