11345 search results - page 112 / 2269 » Foundations of Computer Science |
DNA
2006
Springer
15 years 3 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...
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
110
click to vote
LICS
1994
IEEE
15 years 3 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 5 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...
105
click to vote
ISPDC
2003
IEEE
15 years 4 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...