7167 search results - page 773 / 1434 » Answer Set Programming |
164
click to vote
MSE
2005
IEEE
16 years 12 days ago
2005
IEEE
The Partnership for Engineering Education in the Rockies (PEER) is comprised of local educational and industrial institutions committed to improving the engineering education path...
167
Voted
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
178
click to vote
POPL
2005
ACM
16 years 12 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
217
click to vote
AIIA
2005
Springer
16 years 11 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
171
click to vote
ECOOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...