10038 search results - page 594 / 2008 » Model Checking for Managers |
236
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
182
click to vote
ICDCS
1994
IEEE
15 years 11 months ago
1994
IEEE
The Client Server DBMS model has emerged as the main paradigm in database computing. The Enhanced Client Server architecture takes advantage of all the available client resources ...
179
click to vote
ACL
2008
15 years 8 months ago
2008
This work presents an agenda-based approach to improve the robustness of the dialog manager by using dialog examples and n-best recognition hypotheses. This approach supports n-be...
247
click to vote
MOBIS
2008
15 years 8 months ago
2008
: Semantic technologies promise fully leveraging the content of enterprise and business process models by applying reasoning techniques to query the process space or using ontologi...
236
click to vote
ACSW
2003
15 years 8 months ago
2003
Transferring the traditional business model for selling digital goods linked to physical media to the online world leads to the need for a system to protect digital intellectual p...