Sciweavers

42 search results - page 3 / 9
» Polyscopy - A New Paradigm in Design for the Web
Sort
View
COMPUTER
2007
153views more  COMPUTER 2007»
13 years 6 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
WETICE
2003
IEEE
13 years 11 months ago
DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises
Web Services define a new paradigm in present-day collaborative application development in enterprises, and span systems, networks, and organizations. Emerging computing infrastru...
N. Dhyanesh, G. C. Vineel, S. V. Raghavan
SENSYS
2010
ACM
13 years 4 months ago
sMAP: a simple measurement and actuation profile for physical information
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
Stephen Dawson-Haggerty, Xiaofan Jiang, Gilman Tol...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 9 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ELPUB
2008
ACM
13 years 8 months ago
A Semantic Web Powered Distributed Digital Library System
ResearchinHumanitiesandSocialSciencesistraditionallybasedonprintedpublicationssuchasmanuscripts, personal correspondence, first editions and other types of documents which are oft...
Michele Nucci, Michele Barbera, Christian Morbidon...