4917 search results - page 509 / 984 » Software Engineering is Not Computer Science |
130
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
145
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
157
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
148
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and w...
141
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...