7209 search results - page 395 / 1442 » Software Engineering for Multi-Agent Systems |
126
click to vote
RISE
2005
Springer
15 years 8 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
128
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Large web search engines have to answer thousands of queries per second with interactive response times. Due to the sizes of the data sets involved, often in the range of multiple...
118
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Many methods and tools for the reengineering of software systems have been developed so far. However, the domain-specific requirements of telecommunication systems have not been a...
106
click to vote
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
132
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...