5227 search results - page 375 / 1046 » Enterprise modeling using class and instance models |
154
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
320
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...
164
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper we present a new theoretical model to assess the performance of a class of batch scheduling orders in a forward DVB-S2 satellite link. The scheduling order in a DV...
190
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to control and manage highly aggregated Internet traffic flows efficiently, we need to be able to categorize flows into distinct classes and to be knowledgeable about the...
159
click to vote
EKAW
2004
Springer
16 years 6 days ago
2004
Springer
Hierarchical categorization is a powerful and convenient method so that it is commonly used in various areas, such as ontologies. Although each hierarchy is useful, there are probl...