5757 search results - page 243 / 1152 » Dynamic Policy Programming |
168
click to vote
IEEEARES
2007
IEEE
16 years 26 days ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
185
click to vote
ECWEB
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
206
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
160
click to vote
TGC
2005
Springer
16 years 1 days ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
170
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...