6581 search results - page 979 / 1317 » Formalizing Design Patterns |
193
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
201
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
197
click to vote
ICAIL
2003
ACM
16 years 15 hour ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
182
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
191
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...