9443 search results - page 245 / 1889 » Web-centric language models |
178
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
170
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
154
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
168
click to vote
WSC
2000
15 years 8 months ago
2000
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...