955 search results - page 190 / 191 » Model Checking Operator Procedures |
DEBS
2010
ACM
13 years 9 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
ATMOS
2008
13 years 7 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
ICAI
2008
13 years 7 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
EJC
2003
13 years 7 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
BMCBI
2010
2010
Identifying common prognostic factors in genomic cancer studies: A novel index for censored outcomes
13 years 6 months ago
Background: With the growing number of public repositories for high-throughput genomic data, it is of great interest to combine the results produced by independent research groups...