3358 search results - page 522 / 672 » Dynamic Description Logics |
84
Voted
WSC
1997
15 years 2 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
96
Voted
ENTCS
2006
15 years 25 days ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
130
click to vote
IVC
2008
15 years 9 days ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
116
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
109
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...