3868 search results - page 521 / 774 » Open Systems in TLA |
155
click to vote
ESE
2006
15 years 6 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
174
click to vote
INFSOF
2008
15 years 6 months ago
2008
Since a number of years agent technology is considered one of the most innovative technologies for the development of distributed software systems. While not yet a mainstream appr...
179
click to vote
JAPLL
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their develope...
125
click to vote
JODI
2002
15 years 6 months ago
2002
This paper discusses the problem of horizontal (nonhierarchical) navigation in modern educational courseware. We will look at why horizontal links disappear, how to support horizo...