19367 search results - page 253 / 3874 » Fine-Grain Process Modelling |
146
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
163
click to vote
DEXAW
1998
IEEE
15 years 7 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
116
Voted
WSC
2008
15 years 6 months ago
2008
This paper deals with the problem of determining the optimal inspection strategy for a multi-stage production process using simulation optimization. An optimal inspection strategy...
100
Voted
EACL
1989
ACL Anthology
15 years 4 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
110
Voted
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...