1097 search results - page 85 / 220 » Revision Programming = Logic Programming Integrity Constra... |
127
click to vote
IEEEAMS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
112
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
130
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
136
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
123
click to vote
ENTCS
2006
15 years 3 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...