3658 search results - page 711 / 732 » The logic of proofs, semantically |
178
click to vote
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
151
click to vote
LPNMR
2007
Springer
16 years 6 days ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
213
Voted
CCECE
2006
IEEE
16 years 4 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
150
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
168
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...