5227 search results - page 232 / 1046 » Enterprise modeling using class and instance models |
133
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
134
click to vote
TACAS
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
169
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
162
click to vote
FSS
2008
15 years 5 months ago
2008
The grade of membership (GoM) model uses fuzzy sets as memberships of each individual to extreme profiles (or classes) on the likelihood function of multivariate multinomial distr...
176
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Traditionally, research in identifying structured entities in documents has proceeded independently of document categorization research. In this paper, we observe that these two t...