722 search results - page 61 / 145 » A New Framework for Computer Science and Engineering |
122
click to vote
DNA
2006
Springer
15 years 5 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
118
click to vote
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
132
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
152
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...