4476 search results - page 612 / 896 » A flexible framework for engineering |
164
click to vote
SIGOPSE
1998
ACM
15 years 11 months ago
1998
ACM
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...
157
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
218
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
186
click to vote
OWLED
2007
15 years 8 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
160
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...