Sciweavers

1898 search results - page 95 / 380
» About the art in this issue
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 1 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
DEXAW
2004
IEEE
136views Database» more  DEXAW 2004»
14 years 28 days ago
Ubiquitous Access to Cultural Tourism Portals
Web-based tourism information systems are more and more required to provide besides traditional tourism information about hotel facilities and infrastructure also cultural content...
Franca Garzotto, Paolo Paolini, Marco Speroni, Bir...
DCOSS
2006
Springer
14 years 26 days ago
Efficient and Robust Data Dissemination Using Limited Extra Network Knowledge
We propose a new data dissemination protocol for wireless sensor networks, that basically pulls some additional knowledge about the network in order to subsequently improve data fo...
Ioannis Chatzigiannakis, Athanasios Kinalis, Sotir...
ICSE
2000
IEEE-ACM
14 years 23 days ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold
ECSCW
2007
13 years 10 months ago
What Did I Miss? Visualizing the Past through Video Traces
Always-on media spaces broadcast video between collaborators to provide mutual awareness and to encourage casual interaction. This video can be easily recorded on the fly as a vide...
Michael Nunes, Saul Greenberg, M. Sheelagh T. Carp...