9110 search results - page 1477 / 1822 » Formally-Based Design Evaluation |
165
click to vote
GPEM
2007
15 years 6 months ago
2007
We present a novel means of algorithmically describing a growth process that is an extension of Lindenmayer’s Map L-systems. This growth process relies upon a set of rewrite rule...
154
click to vote
NAR
2006
15 years 6 months ago
2006
CrossLink is a versatile tool for the exploration of relationships between RNA sequences. After a parametrization phase, CrossLink delegates the determination of sequence relation...
180
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
As the size of parallel computers increases, as well as the number of sources per router node, congestion inside the interconnection network rises significantly. In such systems, ...
187
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
187
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
Traditional web service discovery is strongly related to the use of service directories. Especially in the case of mobile web services, where both service requestors and providers...