Sciweavers

313 search results - page 63 / 63
» Crisis Management Systems: A Case Study for Aspect-Oriented ...
Sort
View
IBMRD
2011
112views more  IBMRD 2011»
13 years 7 days ago
Sensor Andrew: Large-scale campus-wide sensing and actuation
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
Anthony Rowe, Mario Berges, Gaurav Bhatia, Ethan G...
JACM
2010
120views more  JACM 2010»
13 years 2 days ago
The structure of inverses in schema mappings
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Alan Nash
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
13 years 11 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock