11022 search results - page 247 / 2205 » Programming Systems for Autonomy |
175
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
162
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...
166
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
In a hard real-time embedded system, the time at which a result is computed is as important as the result itself. Modern processors go to extreme lengths to ensure their function ...
156
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
176
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...