3130 search results - page 213 / 626 » Design Correctness of Digital Systems |
132
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
137
click to vote
MMSEC
2005
ACM
15 years 10 months ago
2005
ACM
If digital watermarking is to adequately protect content in systems which provide both resolution and quality scalability, then the watermarking algorithms used must provide both ...
130
click to vote
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes a new digital user study tool called Mobile Probes. Mobile Probes arose from a need to develop contextual and dynamic self-documenting tools for studying peop...
133
click to vote
FASE
1999
Springer
15 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
171
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...