Sciweavers

826 search results - page 150 / 166
» Designing with interactive example galleries
Sort
View
TCC
2007
Springer
102views Cryptology» more  TCC 2007»
15 years 5 months ago
Universally Composable Security with Global Setup
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi W...
CF
2004
ACM
15 years 4 months ago
An architectural framework and a middleware for cooperating smart components
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
Antonio Casimiro, Jörg Kaiser, Paulo Ver&iacu...
ISSTA
2000
ACM
15 years 3 months ago
UML-Based integration testing
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
Jean Hartmann, Claudio Imoberdorf, Michael Meising...
BMCBI
2008
91views more  BMCBI 2008»
14 years 11 months ago
Presenting and exploring biological pathways with PathVisio
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
Martijn P. van Iersel, Thomas Kelder, Alexander R....
CHI
2007
ACM
15 years 11 months ago
InkSeine: In Situ search for active note taking
Using a notebook to sketch designs, reflect on a topic, or capture and extend creative ideas are examples of active note taking tasks. Optimal experience for such tasks demands co...
Ken Hinckley, Shengdong Zhao, Raman Sarin, Patrick...