5832 search results - page 471 / 1167 » Software complexity and maintainability |
156
click to vote
DEXA
1998
Springer
15 years 11 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
166
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
204
click to vote
C3S2E
2008
ACM
15 years 9 months ago
2008
ACM
This paper considers the problem of integer least squares, where the least squares solution is an integer vector, whereas the coefficient matrix is real. In particular, we discuss...
160
click to vote
C3S2E
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...
208
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...