597 search results - page 80 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
IIWAS
2008
13 years 9 months ago
2008
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
PEPM
1999
ACM
13 years 12 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
SEMWEB
2009
Springer
14 years 4 days ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...