11345 search results - page 112 / 2269 » Foundations of Computer Science |
126
click to vote
DNA
2006
Springer
15 years 6 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...
110
Voted
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
137
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
130
Voted
ISPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...