Sciweavers

1166 search results - page 88 / 234
» Programming Language Support for Adaptable Wearable Computin...
Sort
View
ECCC
2007
115views more  ECCC 2007»
15 years 4 months ago
A (De)constructive Approach to Program Checking
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain con...
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, ...
WWW
2002
ACM
16 years 5 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz
133
Voted
CONEXT
2006
ACM
15 years 10 months ago
A WSN platform to support middleware development
According to the application domain, Wireless Sensor Networks (WSNs) differ in a number of ways (e. g., deployment strategy, node mobility, available resources, node heterogeneity...
André Rodrigues
DSN
2004
IEEE
15 years 8 months ago
An Architectural Framework for Providing Reliability and Security Support
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. ...
SNPD
2003
15 years 6 months ago
Stream Processing on the Grid: an Array Stream Transforming Language
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
Alexander V. Shafarenko