826 search results - page 150 / 166 » Designing with interactive example galleries |
TCC
2007
Springer
14 years 1 months ago
2007
Springer
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...
CF
2004
ACM
14 years 1 months ago
2004
ACM
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...
ISSTA
2000
ACM
14 years 3 days ago
2000
ACM
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 ...
BMCBI
2008
13 years 7 months ago
2008
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...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
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...