Sciweavers

22 search results - page 2 / 5
» Issues in designing a compilation framework for macroprogram...
Sort
View
ICCS
2007
Springer
13 years 8 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
13 years 10 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
BMCBI
2010
137views more  BMCBI 2010»
13 years 4 months ago
Biana: a software framework for compiling biological interactions and analyzing networks
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
EURONGI
2005
Springer
13 years 10 months ago
The State of the Art in Cross-Layer Design for Wireless Sensor Networks
Abstract. The literature on cross-layer protocols, protocol improvements, and design methodologies for wireless sensor networks (WSNs) is reviewed and a taxonomy is proposed. The c...
Tommaso Melodia, Mehmet C. Vuran, Dario Pompili
RTSS
2007
IEEE
13 years 11 months ago
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
Vibha Prasad, Ting Yan, Praveen Jayachandran, Zeng...