3199 search results - page 424 / 640 » Variability in Automation System Models |
181
click to vote
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
186
Voted
ICLP
2004
Springer
16 years 4 days ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
177
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
171
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
155
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
E-Laboratories are important components of elearning environments, especially in scientific and technical disciplines. First widespread E-Labs consisted in proposing simulations o...