7776 search results - page 16 / 1556 » Maintaining Maintainability |
140
click to vote
IAT
2008
IEEE
16 years 10 days ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
164
click to vote
MKM
2007
Springer
16 years 16 hour ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
170
click to vote
VMCAI
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
128
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Virtual agents are traditionally constrained in their embodiment, as they are restricted to one form of body. We propose allowing them to change their embodiment in order...
150
click to vote
CSEE
2007
Springer
15 years 9 months ago
2007
Springer
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...