1418 search results - page 54 / 284 » How to Explain Mistakes |
ASP
2005
Springer
14 years 3 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
CD
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
DSSCV
2005
Springer
14 years 3 months ago
2005
Springer
We show that the pre-symmetry set of a smooth surface in 3-space has the structure of the graph of a function from R2 to R2 in many cases of interest, generalising known results fo...
EUROPKI
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes the development of a flexible Role Based Access Control (RBAC) authorisation module – the Shibboleth and Apache Authorisation Module (SAAM) which is based on...