Sciweavers

4438 search results - page 190 / 888
» The Case for Collaborative Programming
Sort
View
174
Voted
WCRE
2000
IEEE
15 years 11 months ago
Designing an XML-based Exchange Format for Harmonia
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
Marat Boshernitsan, Susan L. Graham
215
Voted
JCO
2011
63views more  JCO 2011»
14 years 10 months ago
Robust multi-sensor scheduling for multi-site surveillance
This paper presents mathematical programming techniques for solving a class of multi-sensor scheduling problems. Robust optimization problems are formulated for both deterministic ...
Nikita Boyko, Timofey Turko, Vladimir Boginski, Da...
LOPSTR
2009
Springer
16 years 1 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
176
Voted
SETP
2007
15 years 8 months ago
Roles Versus Classes
To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusi...
Haibin Zhu
ICLP
2003
Springer
16 years 7 days ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink