3718 search results - page 402 / 744 » Programming by Integration in Robotics |
209
click to vote
TAP
2007
Springer
16 years 29 days ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
219
Voted
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
161
click to vote
TRUST
2010
Springer
15 years 12 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
259
Voted
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
234
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...