550 search results - page 50 / 110 » A Logic for Application Level QoS |
171
Voted
AAAI
2004
15 years 7 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
151
click to vote
ISMVL
2008
IEEE
16 years 8 days ago
2008
IEEE
Nanoscale multiple-valued logic systems require the development of nanometer scale integrated circuits and components. Due to limits in device physics, new components must be deve...
156
click to vote
ADBIS
2001
Springer
15 years 10 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
137
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
154
click to vote
CADE
2005
Springer
15 years 7 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...