Sciweavers

11063 search results - page 253 / 2213
» On the existence of universal models
Sort
View
FORTE
2004
15 years 8 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
ANLP
1997
80views more  ANLP 1997»
15 years 8 months ago
Sequential Model Selection for Word Sense Disambiguation
Statistical models of word-sense disambiguation are often based on a small number of contextual features or on a model that is assumed to characterize the interactions among a set...
Ted Pedersen, Rebecca F. Bruce, Janyce Wiebe
CAISE
2010
Springer
15 years 6 months ago
Success Factors of e-Collaboration in Business Process Modeling
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
Peter Rittgen
ICLP
2001
Springer
15 years 11 months ago
Fixed-Parameter Complexity of Semantics for Logic Programs
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
Zbigniew Lonc, Miroslaw Truszczynski
ICDT
1999
ACM
99views Database» more  ICDT 1999»
15 years 11 months ago
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
Matthias Nicola, Matthias Jarke