645 search results - page 63 / 129 » concurrency 2007 |
102
click to vote
VVEIS
2007
15 years 1 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
96
Voted
ENTCS
2007
15 years 14 days ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
123
click to vote
ENTCS
2007
15 years 14 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
91
Voted
VLC
2008
15 years 12 days ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
89
Voted
CDES
2007
15 years 2 months ago
2007
- In this paper, we present a number of parallel and fault-tolerant routing schemes for a set of nanoscale spin-wave architectures. The architectures considered here have several f...