19936 search results - page 354 / 3988 » Inductive process modeling |
142
click to vote
EACL
1989
ACL Anthology
15 years 8 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...
146
click to vote
MODELS
2010
Springer
15 years 5 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...
217
click to vote
DOLAP
2006
ACM
16 years 22 days ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
183
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...
183
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...