Taxonomic Search: siddharth OR suryanarayanan
7 results
Results
file
This project focuses on modern buildings as a natural expression of a cyber-physical system, with many features that are typical to such systems. This project focuses on modern buildings as a natural expression of a cyber-physical system, with many features that are typical to such systems. Modern buildings exhibit a tight integration of sensing, computation, and actuation within multiple physical domains.
event
Submitted by Anonymous on Fri, 04/19/2013 - 4:39pm
CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.