14298 search results - page 2508 / 2860 » Dynamic Languages and Applications |
222
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
211
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
288
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Relational data streams and XML streams have previously provided two separate research foci, but their unified support by a single Data Stream Management System (DSMS) is very des...
180
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
172
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....