10055 search results - page 287 / 2011 » Structured programming using processes |
116
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
94
Voted
ER
2003
Springer
15 years 5 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
127
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Structured retrieval aims at exploiting the structural information of documents when searching for documents. Structured retrieval makes use of both content and structure of docum...
92
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
135
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...