507 search results - page 86 / 102 » Educational Approach to an Experiment in a Software Architec... |
ECBS
2004
IEEE
13 years 11 months ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
ENTCS
2002
13 years 7 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Taiwan UniGrid (Taiwan University Grid) is a Grid computing platform, which is founded by a community of educational and research organizations interested in Grid computing techno...
PATAT
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we describe the Travelers in the Middle East Archive (TIMEA), a digital archive focused on Western explorations in the Middle East between the 18th and early 20th c...